Modeling and Learning in Data Science [CS 307]: fall 2022
Logic in Computer Science [CS 498MV -> CS 474]: fall 2007, spring 2011, spring 2012, fall 2015, fall 2018, fall 2021
Discrete Structures [CS 173]: fall 2019, fall 2020
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, fall 2023, fall 2024
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