Swarat Chaudhuri is an Associate Professor at the University of Texas. His lab studies problems at the interface of programming languages, logic and formal methods, and machine learning.
Swarat's PhD thesis is titled "L…
Home
Feed
Search
Library
Download