Thesis Title: Identifying Creativity Gaps in Automated Reasoning and Eliminating them using Logic Learning
Madhusudan Parthasarathy, Chair and Director of Research
Mahesh Viswanathan
Gagandeep Singh
Swarat Chaudhuri, University of Texas
Ranjit Jhala, University of California
If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.
