Current Courses (2016 -- 2017)

  • Introduction to Programming in Python
  • Algorithms
  • Algebraic Automata Theory


Past Courses

  • Introduction to Programming in Haskell
  • Theory of Computation
  • Programming Language Concepts
  • Discrete Mathematics
  • Automata Theory and Verification
  • Networks
  • Topics in Automata Theory