Join us for another Networked Systems Tech Talk on Friday, March 3, 2023, from 12:45–1:45 p.m., by Andrey Rybalchenko, Senior Principal Researcher at Microsoft Research, titled “Network Verification for Improving Azure Reliability.” The online talk, hosted by Nik Sultana of the Department of Computer Science, is open to anyone at Illinois Tech.

Register here.

Abstract: 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 applications in production. Joint work with Nuno Lopes, Karthick Jayaraman, Nuno Afonso, Ryan Beckett, Dragos Dumitrescu, Jitu Padhye.

Bio: Andrey Rybalchenko likes 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 his family.