Computer Science Department Master Calendar

Back to Listing

Final Defense of Ali Kheradmand

Event Type
Department of Computer Science
Location (If you wish to attend please email chair or student for Zoom password prior to start of defense.)
wifi event
Jul 27, 2021   3:30 pm  
Originating Calendar
Computer Science 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