Current Courses (2015 -- 2016)

  • Introduction to Programming in Python
  • Topics in Automata Theory


Past Courses

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