Andrey Rybalchenko

Network Verification for Improving Azure Reliability

Delivering a reliable network to customers is top business priority for Azure Networking. Network misconfigurations can be prevented 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. We will discuss progress in network verification research in Azure Networking and its deployment in production.

Joint work with Nuno Lopes, Karthick Jayaraman, Nuno Afonso, Ryan Beckett, Dragos Dumitrescu, Jitu Padhye  

back to overview

Watch Recording
Speaker Image
 

Biography

Andrey Rybalchenko works on solving cloud-scale problems with the help of logic, constraint solving, and automation. He's a senior principal researcher at Microsoft Research Cambridge, UK. Previously, Andrey was a professor of Computer Science at the Technical University of Munich, a researcher at the Max Planck Institute for Software Systems, a post-doc at EPFL, a master/PhD student at the University of Saarland. Andrey likes playing recreational ice hockey and hanging out with the family.
Footer

Imprint / Privacy