Courses taught in past semesters:
- CS 164, Programming Languages
and Compilers, Spring 2006. Past offerings: Spring 2000, Spring 2001, Spring 2002, Spring 2003, Spring 2004
- CS 169, Software
Engineering, Fall 2015.,
Past offerings: Fall 2004, Spring 2008, Fall 2009, Fall 2011, Spring 2013,
Spring 2014, Fall 2014.
- CS 263, Principles
of Programming Languages, Spring 2014., Past offerigs: many times since Fall 2000.
- CS294-8, Formal Techniques for Software Reliability (with
Alex Aiken and Tom Henzinger, Spring 2001)
- CS294-9, Interactive Theorem Proving (Fall 2006)
- CS 263, Design and Analysis of Programming Languages, Spring
1999, Fall 2000, Fall 2001, Fall 2002, Fall 2004, Fall 2005, Spring 2007
- CS 294-4, Techniques for Automated
Deduction,
Spring 2000, Fall 2004
- CS298-22, Programming Systems Seminar