Final Defense of Xiaohong Chen
May 3, 2023 1:00 pm
2124 Siebel Center for Computer Science
- Sponsor
- Computer Science Academic Office
- Views
- 41
- 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