Swarat Chaudhuri is an Associate Professor of computer science at Rice University. His research has two main thrusts: (a) algorithms, based on automated deduction, combinatorial search and optimization, and statistical machine learning, for program analysis and synthesis; and (b) the use of these algorithms in practical tools for increasing programmer productivity. The applications that motivate his work come from a mix of areas, including industrial software engineering, end-user programming, multiagent systems, and robotics and cyber-physical systems.
Swarat received a bachelor's degree in computer science from the Indian Institute of Technology, Kharagpur, in 2001, and a doctoral degree in computer science from the University of Pennsylvania in 2007. From 2008-2011, he was an Assistant Professor at the Pennsylvania State University, University Park. He is a recipient of the National Science Foundation CAREER award and the ACM SIGPLAN John Reynolds Doctoral Dissertation Award. He has served on the committee of many conferences in formal methods and programming languages, and chaired the 2016 Conference on Computer-Aided Verification (CAV).