Swarat headshot

research group and projects| publications| bio|cv
professional activities| blog| announcements


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, postdoc, and research scientist positions are open in my group.


(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