Courses taught in past semesters:

• CS 164, Programming Languages and Compilers. Spring 2000, Spring 2001, Spring 2002, Spring 2003, Spring 2004, Spring 2006
• CS 169, Software Engineering, Fall 2004, Spring 2008, Fall 2009, Fall 2011, Spring 2013.
• CS 263, Principles of Programming Languages, 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