Swarat headshot

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


RESEARCH

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 and automata 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.



TEACHING

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

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

(Spring 2013) COMP 607: Automata, Logic, and Infinite Games