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


Automated reasoning: Automated reasoning about systems, including invariant generation 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

Multiple graduate student and postdoc positions are open in my group.
The Pliny project is in the news! Outlets that covered us include Engadget, Popular Science, and Wired.


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

(Spring 2015) COMP 607: Seminar on Program Synthesis

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