Amanda Xu


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.

the new normal
not the new abnormal
always adjusting


[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!