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.


  • [1/2024] Serving as PC Co-Chair of HotNets '24 with Behnaz Arzani.
  • [1/2024] Delivered a keynote at POPL.
  • [12/2023] Serving as Chair of ACM Doctoral Dissertation Award Committee.
  • [10/2023] Distinguished Paper Award from OOPSLA.
  • [09/2023] LeArning Network CybER agents (LANCER) grant from DARPA.
  • [08/2023] On sabbatical at EPFL for the 2023-24 academic year, hosted by Ed Bugnion in DCSL!
  • [6/2023] Robin Milner Young Researcher Award from ACM SIGPLAN.
  • [6/2023] Formal Abstractions for Packet Scheduling accepted to OOPSLA.
  • [5/2023] P4Testgen: An Extensible Test Oracle for P4-16 accepted to SIGCOMM.
  • [5/2023] Hydra: Effective Runtime Network Verification accepted to SIGCOMM.
  • [4/2023] iMAT: Automata Learning with an Incomplete Teacher accepted to ECOOP.

Current Projects

Reinforcement Learning for Network Security
Chronicle article
Petr4 logo
Formal Foundations for Programmable Data Planes
CPP '23 PLDI '22
POPL '21 Code
Pronto logo
Verifiable Closed-Loop Control for Next-Generation Networks
CCR '20 NSDI '21
NetKAT logo
(Co)-Algebraic Foundations for Programmable Networks
PLDI '19 POPL '20
Neptune logo
Flexibility, Performance, Consistency for Heterogeneous Packet-Processing Architectures
CS article
Littleton logo
A Programming Language for Future Interests
Webpage YJoLT '22
Onward! '19