College of Engineering, All Events

Final Defense of Ali Kheradmand

Event Type

Other

Sponsor

Department of Computer Science

Location

https://illinois.zoom.us/j/83341930274? (If you wish to attend please email chair or student for Zoom password prior to start of defense.)

Virtual

Date

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