Bio:
Swarat Chaudhuri is a Professor of Computer Science at UT Austin and a Visiting Researcher at Google DeepMind, London. His work focuses on the intersection of machine learning and automated reasoning, including program synthesis and neurosymbolic reasoning. He co-invented Conflict-free Replicated Data Types (CRDTs) and has received numerous awards, including the NSF CAREER award. Prof. Chaudhuri has authored many influential papers and has been involved in leading projects, including SyncFree, for highly-available cloud computing.