The Three Tales of Correct Network Operations

Explore a 31-minute conference talk from INSAIT 2022 where Prof. Laurent Vanbever of ETH Zurich delves into a decade-long research journey examining routing algorithms and network operations. Discover insights into three critical aspects of network routing: verification, synthesis, and reconfiguration. Learn how to verify routing algorithm correctness, control algorithm outputs, and adapt routing behavior over time. Gain understanding of the challenges network operators face when managing these complex systems, including common mistakes that can lead to network downtimes. Examine current open problems in the field and explore emerging research directions being pursued at ETH Zurich, providing valuable insights for network engineers and researchers interested in improving network operations reliability.