Courses Taught

• Logic For Computer Science
• Automata and Formal Languages
• Automated Reasoning
• Special Topics in Computing Theory
• Theory of Computation
• Navigating the Internet
• Digital Networks
• Colloquium