Current Courses (2017 -- 2018)
- Introduction to Programming in Python
- Algorithms
Past Courses
- Introduction to Programming in Haskell
- Theory of Computation
- Programming Language Concepts
- Discrete Mathematics
- Automata Theory and Verification
- Networks
- Topics in Automata Theory
- Algebraic Automata Theory