Graduate Student
Hello! I'm Andrew Johnson, a fourth 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.PDF
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