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:
  • Fall 2008
  • Fall 2007
  • Fall 2005 [review]
  • Fall 2004 [review]
  • Fall 2003 [review]
  • Fall 2002 [review]
  • Fall 2001 [review]
  • Fall 2000
• 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:
  • Spring 2009
  • Spring 2004 [review]
• 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.