Grainger College of Engineering, All Events

View Full Calendar

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
37
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


link for robots only