Final Defense of Ali Kheradmand
- Event Type
- Other
- Sponsor
- Department of Computer Science
- Virtual
- Join online
- Date
- Jul 27, 2021 3:30 pm
- Views
- 67
- 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