Andrew Johnson

Graduate Student

Profile Picture

Hello! I'm Andrew Johnson, a third year graduate student in the programming languages and verification group at Princeton University. I am advised by Professor David Walker. I'm generally interested in a variety of problems relating to programming languages and networking.

I completed my BS in computer science and mathematics at Northeastern University in 2021. There, I did undergraduate research on verification with Dr. Thomas Wahl.


Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker. Sequence Abstractions for Flexible, Line-Rate Network Monitoring. NSDI 2024 (To Appear).

Xiaoqi Chen, Mengying Pan, Andrew Johnson, David Walker. Synthesizing State Machines for Data Planes. SOSR 2022. Won best paper! PDF

Andrew Johnson, Thomas Wahl. Delay-Bounded Scheduling Without Delay! CAV 2021.PDF

LinkedIn Github