Thesis Title: Foundations for Practical Network Verification
Committee: Brighten Godfrey, Chair and Director of Research
Grigore Rosu
Tianyin Xu
Jitendra Padhye; Microsoft Research
The Grainger College of Engineering
University of Illinois
306 Engineering Hall MC 266
1308 West Green Street
Urbana, IL 61801
engineering@illinois.edu