I am an applied scientist in the Automated Reasoning Group at Amazon Web Services.
I received my PhD in computer science from the University of Illinois Urbana-Champaign in 2024, advised by Prof. Matthew Caesar. My research focused on scalable network verification, networked systems, and applications of formal methods in systems and networks.