Courses Taught Recently
Logic For Computer Science
Automata and Formal Languages
Automated Reasoning
Special Topics in Computing Theory (Graduate)
Theory of Computing
Navigating the Internet
Digital Networks
Colloquium