I am a PhD candidate in computer science at the University of Illinois Urbana-Champaign, advised by Prof. Matthew Caesar.
My research interests include network verification, network architecture, formal methods, software engineering, and, more generally, improving the reliability and robustness of networked systems.