Courses this semester (Fall 2009):

CS169, Software Engineering

Courses taught in past semesters:

• 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
• CS 164, Programming Languages and Compilers. Spring 2000, Spring 2001, Spring 2002, Spring 2003, Spring 2004, Spring 2006
• CS 169, Software Engineering, Fall 2004
• CS 294-4, Techniques for Automated Deduction, Spring 2000, Fall 2004
• CS298-22, Programming Systems Seminar