Swarat Chaudhuri

Swarat Chaudhuri is a Professor of Computer Science at the University of Texas at Austin and Senior Staff Research Scientist at Google Deepmind (currently on leave). He directs the Trishul laboratory, focusing on neurosymbolic AI at the intersection of programming languages, formal methods, and machine learning. His research aims to develop reliable, transparent intelligent systems capable of complex reasoning beyond contemporary AI.

Education:

• Ph.D. in Computer Science, University of Pennsylvania (2007)
• Bachelor's in Computer Science, Indian Institute of Technology, Kharagpur (2001)

Research Interests: Neurosymbolic programming, program synthesis, automated reasoning, and AI applications in code generation, mathematics, systems engineering, and scientific discovery. Key focuses include interpretability, safety certification, and robustness in learning-enabled systems.

Honors & Awards:

• Guggenheim Fellow (2025)
• NSF CAREER Award
• ACM SIGPLAN John Reynolds Dissertation Award
• Multiple ACM Distinguished Paper Awards
• Meta/Google Research Awards

Leadership & Advising: Directs Trishul Lab with 9 current PhD students. Alumni hold positions at Meta, Google, Penn State, and UC Berkeley. Served as Program Chair for ICLR 2024 and CAV 2016.

Affiliations: Core faculty in UT's Machine Learning Laboratory, Programming Languages/Formal Methods group, and Texas Robotics affiliate.