Siebel School Graduate Calendar

View Full Calendar

Final Defense of Kuan-Yen Chou

Event Type
Other
Sponsor
Siebel School Academic Office
Location
Siebel Center 4124
Virtual
wifi event
Date
Oct 21, 2024   2:00 pm  
Views
21

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.

link for robots only