I am a first-year CS Ph.D. student at UW-Madison broadly interested in programming languages and formal methods. I received my B.S. in Computer Science from Cornell University in May 2020. As an undergraduate, I had the privilege of working on Petr4 with Nate Foster.
[August 2021] Moved to Madison to start my Ph.D. at UW-Madison!
[Oct 2020] Petr4: Formal Foundations for P4 Data Planes will appear at POPL'21!
[Jun 2020] I started working as an SDE at Amazon Web Services (AWS) on the NYC Fraud Prevention team.
[May 2020] I graduated from Cornell University with a B.S. in Computer Science!