Thesis Title: Provably Reliable Machine Learning Systems
Sasa Misailovic, Chair
Gagandeep Singh, Director of Research
Lingming Zhang
Swarat Chaudhuri, University of Texas at Austin
If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.