Current Course

In Fall 2013 I'm teaching the accelerated introductory course as well as programming languages.

Past Courses

• cs019, Accelerated Introduction to Computing:
  • Fall 2012
  • Fall 2011
  • Fall 2010
  • Fall 2009
• CSCI0931, Introduction to Computing for the Social Sciences and Humanities:
  • Fall 2011
  • Fall 2010
  • Fall 2009
• cs173, Programming Languages:
  • Fall 2012
  • Fall 2010
  • 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)
• cs273/cs274, Programming Language Theory /
  cs296-1, Topics in Programming Languages and Systems:
  • Fall 2011 (Semantics)
  • 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 2010
  • 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.