mahesh viswanathan

Logic in Computer Science [CS 498MV]: fall 2007, spring 2011, spring 2012, fall 2015, fall 2018

Algorithms and Formal Models of Computation [CS 374]: spring 2016, spring 2018

Formal Models of Computation [CS 475]: spring 2002, fall 2003, fall 2005, fall 2006, fall 2017

Computational Complexity [CS 579]: spring 2014, spring 2015

Introduction to Theory of Computation [CS 373]: fall 2008, fall 2010, fall 2012, spring 2013, fall 2013

Modeling and Analysis of Probabilistic Systems [CS 598]: fall 2016

Algorithms for undergraduates [CS 473UG]: spring 2006, spring 2007

Formal Methods for Software Development [CS 477]: spring 2003, spring 2004, spring 2005, spring 2011

Theory of Computation [CS 273]: fall 2004

Finite Model Theory and Descriptive Complexity [CS 497]: fall 2003

Computer Aided Verification [CS 497]: fall 2001