Current Course

In Spring 2010 I'm teaching software engineering.

Past Courses

• cs019, Accelerated Introduction to Computing:
  • Fall 2009
• CSCI0931, Introduction to Computing for the Social Sciences and Humanities
  • Fall 2009
• 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:
  • Fall 2009 (Operational Semantics)
  • 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.