Graduate Student
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