BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Network Verification for Azure Reliability - Andrey  Rybalchenko (
 Microsoft (UK))
DTSTART:20220705T100000Z
DTEND:20220705T110000Z
UID:TALK175748@talks.cam.ac.uk
DESCRIPTION:Delivering a reliable network to customers is top business pri
 ority for Azure Networking. Network misconfigurations can be prevented fro
 m degrading reliability by verifying every network configuration change be
 fore its deployment. This is a hard problem to solve\, given the scale and
  complexity of today&rsquo\;s networks. We will discuss progress in networ
 k verification research in Azure Networking and its applications in produc
 tion.\nJoint work with Nuno Lopes\, Karthick Jayaraman\, Nuno Afonso\, Rya
 n Beckett\, Dragos Dumitrescu\, Jitu Padhye&nbsp\;
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR