Formal methods: Methods for automated reasoning about programs,
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
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
Email: swarat at rice edu