Courses

COMP 481, Spring 2015 semester.  Introduction to Automata Theory, Formal Languages, and Computation.

COMP 481/581, Spring 2016 semester.  Introduction to Automata Theory, Formal Languages, and Computation.

COMP 382, Fall 2016 semester (with Swarat Chaudhari). Reasoning About Algorithms. 

 

Comments are closed.