Network Verification and Synthesis – When Hoare Meets Cerf
Department: Computer Science
Quarter:
Seminar Date: Jan 08, 2016
Speaker Name:
George Varghese
George Varghese
Organization:
Microsoft Research
Microsoft Research
Start Time:
End Time:
Speaker Website:
http://research.microsoft.com/en-us/people/varghese/
http://research.microsoft.com/en-us/people/varghese/
Bio:
George Varghese received his Ph.D. in 1992 from MIT. From 1993-1999, he was a professor at Washington University, and at UCSD from 1999 to 2013. He was the Distinguished Visitor in the computer scien…
George Varghese received his Ph.D. in 1992 from MIT. From 1993-1999, he was a professor at Washington University, and at UCSD from 1999 to 2013. He was the Distinguished Visitor in the computer scien…
Photo Link:
Summary:
Surveys reveal that network outages are prevalent, and that many outages take hours to resolve, resulting in significant lost revenue. Many bugs are caused by errors in configuration files which are …
Surveys reveal that network outages are prevalent, and that many outages take hours to resolve, resulting in significant lost revenue. Many bugs are caused by errors in configuration files which are …
Notes:
Host:
Michael Goodrich
Michael Goodrich
Host Notes:
NetSys Distinguished Seminar Series
NetSys Distinguished Seminar Series
Alt Text:
Video: