Final Defense of Ali Kheradmand

Event Type

Other

Sponsor

Department of Computer Science

Virtual

Date

Jul 27, 2021   3:30 pm  

Views

46

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