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, programmable networks, and distributed systems.