Courses Taught Recently

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