Final Defense of Nishant Rodrigues
- Event Type
- Other
- Sponsor
- Siebel School Academic Office
- Location
- Siebel Center 4407
- Virtual
- Join online
- Date
- Nov 7, 2024 2:30 pm
- Views
- 67
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.