Swarat Chaudhuri

Professor · Institute of Technology Kharagpur

University of Texas at Austin · United States

Artificial IntelligenceFormal MethodsProgramming Languages and CompilersSafe autonomous systemsTrustworthy machine learningProgram synthesisAutomated reasoning

About

His research vision is to build a new generation of AI systems that are designed from the ground up with the goals of reliability, transparency, and security. He seeks to realize this vision through a synthesis of ideas from programming languages, formal methods, and machine learning.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.