Swarat Chaudhuri

Swarat Chaudhuri is a computer scientist and professor specializing in programming languages, formal verification and artificial intelligence. He is a professor of computer science at the University of Texas at Austin and a Senior Staff Research Scientist at Google DeepMind. His research focuses on combining machine learning with formal methods, particularly neurosymbolic programming and AI-driven program synthesis.