research group and projects| publications| bio|cv
professional activities| blog| twitter |press


Formal methods: Methods for automated reasoning about programs, such as abstraction, automated deduction, and state space search

Computer-aided programming: Languages and tools that use automated reasoning to boost programmer productivity

Theoretical computer science: Logic, automata, and game theory


(Fall 2016, Fall 2015, Fall 2014, Spring 2014) COMP 382: Reasoning about algorithms

(Spring 2015, Fall 2013, Fall 2012) COMP 507: Computer-Aided Program Design

(Spring 2015) COMP 607: Seminar on Program Synthesis