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.
(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