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.
(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
Email: swarat at rice edu