Grainger College of Engineering, All Events

View Full Calendar

Final Defense of Ali Kheradmand

Event Type
Other
Sponsor
Department of Computer Science
Virtual
Join online
Date
Jul 27, 2021   3:30 pm  
Views
64
Originating Calendar
Siebel School Graduate Calendar

Thesis Title: Foundations for Practical Network Verification

Committee: Brighten Godfrey, Chair and Director of Research

Grigore Rosu

Tianyin Xu

Jitendra Padhye; Microsoft Research

link for robots only