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.
School of Computing and Data Science
Thomas M. Siebel Center for Computer Science201 N. Goodwin Ave. MC-258Urbana, IL 61801
Chicago Office200 South Wacker Drive, Suite 701 Chicago, IL 60606
General email: admin@siebelschool.illinois.edu