Thesis Title: Advancements in Automated First-Order Verification Committee: Grigore Rosu, Chair and Director of Research Madhusudan Parthasarathy Jose Meseguer Christof Löding (RWTH Aachen University)
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