Logical Foundations of Computer Science [CS 498MV]: fall 2007
Algorithms for undergraduates [CS 473UG]: spring 2006, spring 2007
Formal Models of Computation [CS 475]: spring 2002, fall 2003, fall 2005, fall 2006
Formal Methods for Software Development [CS 477]: spring 2003, spring 2004, spring 2005
Theory of Computation [CS 273]: fall 2004
Finite Model Theory and Descriptive Complexity [CS 497]: fall 2003
Computer Aided Verification [CS 497]: fall 2001