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

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

The Thesis Review

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…

Related tracks

See all