Final Defense of Xiaohong Chen

Event Type

Other

Sponsor

Computer Science Academic Office

Location

2124 Siebel Center for Computer Science

Virtual

Date

May 3, 2023   1:00 pm  

Views

28

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