Formal Methods for a Robust Network Ecosystem
Department: Computer Science
Quarter: Winter 2022
Seminar Date: Feb 18, 2022
Speaker Name:
George Varghese
George Varghese
Organization:
UCLA
UCLA
Start Time:
End Time:
Speaker Website:
https://samueli.ucla.edu/people/george-varghese/
https://samueli.ucla.edu/people/george-varghese/
Bio:
George Varghese is Chancellor’s Professor of Computer Science at UCLA. He was elected to the National Academy of Engineering in 2017, to the National Academy of Inventors in 2020, and to the Intern…
George Varghese is Chancellor’s Professor of Computer Science at UCLA. He was elected to the National Academy of Engineering in 2017, to the National Academy of Inventors in 2020, and to the Intern…
Photo Link:
Summary:
Network verification, applying formal methods to verify properties of router configurations, is already mainstream with startups like Forward and Veriflow Networks, and divisions in established compa…
Network verification, applying formal methods to verify properties of router configurations, is already mainstream with startups like Forward and Veriflow Networks, and divisions in established compa…
Notes:
Host:
Host Notes:
Alt Text:
Video: