Reasoning about programs: Algorithmic approaches to program verification, synthesis, and approximation, in particular abstract interpretation and model checking.
Parallel programming: Abstractions and languages for parallel programming.
Theoretical computer science: Logic and automata theory.
publications | professional activities
[I plan to hire several Ph.D. students next year. The ideal candidates will be strong in either discrete or continuous mathematics and want to impact the practice of software development. Send me email if you are interested.]
3103 Duncan Hall
Rice University, 6100 S. Main Street
Houston, TX 77005.
Email: swarat at rice edu
Voice: +1-713-348-6314
Skype: swarat.chaudhuri
(Spring 2012) COMP 482: Design and analysis of algorithms
(Spring 2012) COMP 607: Program synthesis
(Fall 2011) COMP 411: Principles of programming languages