Fireside chat: Network verification: Cloud first, what's next?

159
Опубликовано 25 января 2022, 1:40
Speakers:
Andrey Rybalchenko, Senior Principal Researcher, Microsoft Research Cambridge
George Varghese, Chancellor's Professor, UCLA Computer Science, UCLA

Delivering a reliable network to customers is top business priority. Providers can prevent network misconfigurations from degrading reliability by verifying every network configuration change before its deployment. This is a hard problem to solve, given the scale and complexity of today's networks. Join Microsoft researcher Andrey Rybalchenko, from the Cloud Infrastructure group at Microsoft Research Cambridge, UK, together with UCLA Professor George Varghese, to discuss the progress in network verification research and its applications in industry. They will review some recent advances and unsolved problems and offer a preview of where the research is heading next.

Learn more about the 2021 Microsoft Research Summit: Aka.ms/researchsummit
автотехномузыкадетское