These are the courses I have offered in the past.
- CS 331 - Theory of Computation
- CS 208 - Automata and Logic
- CS 207 - Discrete Structures
- CS 228 - Logic for Computer Science
- CS 640/611 - Formal Languages and Models of Natural Computation
- CS 713 - Special Topics in Automata and Logics
- CS 738 - Concepts, Algorithms and Tools for Model Checking