Courses I frequently teach:

• Logic in Computer Science: COMPSCI 513 and 613

• Theory of Computation: COMPSCI 601

• Theory Seminar: COMPSCI 891M

• Formal Language Theory: COMPSCI 501

• Introduction to Computation (Discrete Math for Computer Scientists): COMPSCI 250