Thesis Title: Scalable Verification for Complex Networks
Matthew Caesar, Chair and Co-Director of Research
Brighten Godfrey, Co-Director of Research
Radhika Mittal
Tianyin Xu
Steffen Smolka, Google
David Walker, Princeton
If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.
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