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

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

Email: swarat at rice edu
Voice: +1-713-348-6314
Skype: swarat.chaudhuri

Mailing address:
Computer Science Department, MS 132, Rice University
P.O. Box 1892, Houston, TX 77251

Street address:
3103 Duncan Hall, Rice University
6100 S. Main Street, Houston, TX 77005

(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

(Spring 2013, Spring 2012) COMP 482: Design and analysis of algorithms

[more]