Prof. Aarti Gupta on ‘Abstractions for Network Control Plane Verification’
Aarti Gupta is a Professor in the Department of Computer Science at Princeton University. She received a PhD in Computer Science from Carnegie Mellon University. Her research interests are in the areas of formal verification of programs and systems, automatic decision procedures, and electronic design automation. Prof. Aarti highlighted in her talk that the network control plane is a complex distributed system that runs various protocols for exchanging messages between routers and selecting paths for routing traffic. Errors in control plane configurations can lead to expensive outages or critical security breaches, leading to great interest in applying formal methods to ensure correctness.