Swarat Chaudhuri
Professor
Research
Research Areas:
Research Interests:
-
Safe autonomous systems
-
Trustworthy machine learning
-
Program synthesis
-
Automated reasoning
Current Research:
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.