Current Course
In Fall 2009 I'm teaching the accelerated introduction to CS, an experimental course on computing for social sciences and humanities, and a graduate course on programming language theory.
Past Courses
- cs173, Programming Languages:
- cs234, Software Engineering: Spring 2005 with Steve Reiss (Software Security: Access Control and Information Flow)
-
cs274, Programming Language Theory /
cs296-1, Topics in Programming Languages and Systems:- Spring 2008 (Optimistic Replication)
- Spring 2006 (Dynamic Access Control)
- Fall 2004 (Operational Semantics)
- Spring 2003 (Software Verification)
- Spring 2002 (Types and Programming Languages)
- Spring 2001 (Survival Kit)
- cs190, Software System Design:
- cs183-184, Consistent Software Evolution: Fall 2002-2003 with Steve Reiss
All reviews are from the Critical Review, Brown's independent, student-run review process.