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

1:06:18 | Jun 28th, 2022

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...Show More