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 "Logics and Algorithms for Software Model Checking", which he completed in 2007 at the University of Pennsylvania.

We discuss reasoning about programs, formal methods & safer machine learning systems, and the future of program synthesis & neurosymbolic programming.

- Episode notes: www.wellecks.com/thesisreview/episode43.html

- Follow the Thesis Review (@thesisreview) and Sean Welleck (@wellecks) on Twitter

- Find out more info about the show at www.wellecks.com/thesisreview

- Support The Thesis Review at www.patreon.com/thesisreview or www.buymeacoffee.com/thesisreview

[43] Swarat Chaudhuri - Logics and Algorithms for Software Model Checking

Each episode of The Thesis Review is a conversation centered around a researcher's PhD thesis, giving insight into their history, revisiting older ideas, and providing a valuable perspective on how their research has evolved (or stayed the same) since.