Current Course
In Fall 2013 I'm teaching the accelerated introductory course as well as programming languages.
Past Courses
- cs019, Accelerated Introduction to Computing:
- CSCI0931, Introduction to Computing for the Social Sciences and Humanities:
- cs173, Programming Languages:
- 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:
- 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.