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