- Sponsor
- Siebel School Academic Office
- Views
- 67
- Originating Calendar
- Siebel School Graduate Calendar
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.