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.