Automated reasoning: Automated reasoning about dynamical systems, including invariant generation and state space search. Constraint-solving.
Computer-aided programming: Programming languages and tools that use automated reasoning to boost programmer productivity.
Theoretical computer science: Logic and automata theory.
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 2013) COMP 482: Design and analysis of algorithms
(Spring 2013) COMP 607: Automata, Logic, and Infinite Games
(Fall 2012) COMP 507: Program Verification
(Spring 2012) COMP 482: Design and analysis of algorithms