Swarat Chaudhuri is an Associate Professor of computer science at Rice University. He works in the research area of Formal Methods. 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 that make programs more reliable, more performant, and easier to write. The applications that motivate his work come from a mix of areas, including artificial intelligence, industrial software engineering, end-user programming, 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, the ACM SIGPLAN John Reynolds Doctoral Dissertation Award, the Morris and Dorothy Rubinoff Dissertation Award from the University of Pennsylvania, and a Google Faculty Award. He has served on the committee of many conferences on Formal Methods and Programming Languages, and chaired the 2016 Conference on Computer-Aided Verification (CAV).