Swarat Chaudhuri is an associate professor of computer science at Rice University. He is an expert on methods for automated reasoning about systems, in particular abstract interpretation and model checking, and the application of such methods in computer-aided programming.

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 Outstanding Doctoral Dissertation Award. He has served on the committee of many conferences in formal methods and programming languages, and jointly chaired the 2016 Conference on Computer-Aided Verification (CAV).

Professional headshot #1 | Professional headshot #2