Biography
Swarat Chaudhuri is a Professor of Computer Science at UT Austin and a Senior Staff Research Scientist at Google Deepmind. His research lies at the interface of programming languages, formal methods, and machine learning. His research seeks to develop a new class of intelligent systems that are reliable, transparent, and secure by construction and can solve reasoning-intensive tasks beyond the scope of contemporary AI.
Prof. Chaudhuri 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. He is a 2025 Guggenheim Fellow and has received an NSF CAREER award, the ACM SIGPLAN John Reynolds Dissertation award, the Morris and Dorothy Rubinoff Dissertation award from the University of Pennsylvania, Meta and Google Research awards, and several ACM SIGPLAN and SIGSOFT distinguished paper awards. He has served on the program committees of all the main conferences in machine learning, formal methods, and programming languages and was a Program Chair for CAV 2016 and ICLR 2024.
