Computer Science Graduate Master Calendar

View Full Calendar

Final Defense of Xiaohong Chen

Event Type
Other
Sponsor
Computer Science Academic Office
Location
2124 Siebel Center for Computer Science
Virtual
wifi event
Date
May 3, 2023   1:00 pm  
Views
28
Originating Calendar
Computer Science 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