Final Defense of Xiaohong Chen
- Event Type
- Other
- Sponsor
- Computer Science Academic Office
- Location
- 2124 Siebel Center for Computer Science
- Virtual
- Join online
- Date
- May 3, 2023 1:00 pm
- Views
- 39
- Originating Calendar
- Siebel School Graduate Calendar
Thesis Title: Matching mu-Logic
Grigore Rosu, Chair and Director of Research
Madhusudan Parthasarathy
Jose Meseguer
Margus Veanes, Microsoft Research