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.