Home
My research uses ideas from programming languages to solve problems in networking, databases, and security. Some specific topics of interest include language design, semantics, type systems, and mechanized proof. Recently I’ve been spending most of my time thinking about how to design better languages and tools for computer networks.
Recent News [all]
- [06/2025] P4 and Tofino selected as a winner of the 2025 ACM SIGCOMM Networking Systems Award.
- [04/2025] Putting the Hardware Burger on a Diet accepted to HotOS XX.
- [04/2025] StacKAT andNetKAT Automata Learning accepted to PLDI.
- [01/2025] Named an ACM Fellow.
- [05/2025] Lecturing at the SRI Summer School on Formal Techniques.
- [01/2025] Presented at NUS Computer Science Research Week in Singapore.
- [12/2024] Received a gift from the VMware University Research Fund.
Current Projects

Formal Foundations for Programmable Data Planes
SIGCOMM '24a SIGCOMM '24b CPP '23 PLDI '22
POPL '21 Code