mahesh viswanathan

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