PhD Student
University of Amsterdam
I'm a PhD student at the University of Amsterdam applying programming-language theory and formal methods to P4 programmable data planes. Working across the MNS and CCI groups, I build domain-specific languages, compilers, interpreters, and verifiers for programmable networking. My interests span Haskell, language design, formal methods, and type systems.
Selected publications. For the full list see Google Scholar.
Introduces P4Check, a tool that combines temporal verification with statement-level debugging for stateful P4 programs. A single definitional interpreter runs programs symbolically for verification and concretely to replay counterexamples in an interactive debugger.
Introduces P4DDG, a compiler that generates P4 parser code from data-dependent grammars as an alternative to handwritten state machines. The approach translates grammars into parsing transducers using an extended Thompson construction, then lowers them through an intermediate representation into P4 code.