Thesis Title: Foundations for Practical Network Verification
Committee: Brighten Godfrey, Chair and Director of Research
Grigore Rosu
Tianyin Xu
Jitendra Padhye; Microsoft Research
School of Computing and Data Science
Thomas M. Siebel Center for Computer Science201 N. Goodwin Ave. MC-258Urbana, IL 61801
Chicago Office200 South Wacker Drive, Suite 701 Chicago, IL 60606
General email: admin@siebelschool.illinois.edu