I am a Ph.D. student in the Department of Computer Science at the University of Illinois at Urbana-Champaign, advised by Prof. Matthew Caesar.

My research interests include network verification, softwarized networks, distributed systems, software engineering, and, more generally, improving the reliability, performance, and correctness of communication networks and networked systems.