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

The deadline for CAV 2016 is coming up fast!
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