Thesis Title: Certified Reasoning for Fixpoints and Concrete Execution in Matching Logic
Grigore Rosu, Director of Research and Co-Chair
Jose Meseguer
Lingming Zhang
Santiago Escobar, Catedrático de Universidad
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