About me


I am a first-year Ph.D. student at University of Pennsylvania advised by Mayur Naik and Rajeev Alur.

News


[June 2022] I attended PLMW at PLDI.

[April 2022] I will be starting my Ph.D. at University of Pennsylvania this fall!

Publications


Petr4: Formal Foundations for P4 Data Planes

Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster. PACM (POPL) 2021

Teaching