PREVIOUSNEXT
Research Professor and Associate Director of the CS Undergraduate Program at Brown University, Co-Director of Bootstrap
Brown University, Bootstrap
I’m interested in various facets of how people learn and use formal systems. My current focus is computing education, with an emphasis on how programming languages impact learning and pedagogy in computing. I’ve also worked on diagrammatic logics for hardware design (late 1990s), modular verification of feature-oriented programs (early 2000s), and reasoning about access-control and privacy policies (mid-late 2000s). Those projects emphasized formal systems over human reasoning. My work in computing education tilts the balance, but is part of the same broad theme. I have been heavily involved in outreach for K-12 computing education since the late 1990s. Almost all of my work is done in collaboration with two terrific teams: the Brown Computing Education Research group and Bootstrap (K-12 outreach).
The Future of Math Teacher Professional Learning is a free two-day virtual conference open to all. Attendees are welcome to attend one or both days. We hope to see you there!
Attendees will receive a calendar invite with a link to the conference a few days before the event.
***Registration is now closed***