I research and teach at the Leiden Institute of Advanced Computer Science (LIACS), part of Leiden University. My academic interests include but are not limited to programming languages, with a particular focus on control flow (deterministic, probabilistic, concurrent) and equational reasoning about programs.

In the past, I worked at the Department of Computer Science of the Open Universiteit, and I was a researcher (Marie Skłodowska-Curie fellow) at the Institute for Logic, Language and Computation of the University of Amsterdam.

Before that, I was a postdoctoral associate at Cornell University's PL @ Cornell group. In 2020, completed my PhD at University College London, advised by Alexandra Silva and Fabio Zanasi. I received an MSc in Computer Science from Leiden University.

This website collects my publications and talks, as well as the teaching I'm involved in.

News

29 Jul 2026 Octopus: Practical Equivalence Checking of P4 Packet Parsers is now available publicly. You can start checking equivalence of your P4 programs, today!
18 Jun 2026 I have a fully funded three-year postdoctoral position at the intersection of systems, security and theory open, co-supervised by Olga Gadyatskaya and Kristian Rietveld.
6 Feb 2026 An Elementary Proof of the FMP for Kleene Algebra has just been published through Fundamenta Informaticae.
21 Jan 2026 Partial Reductions for Kleene Algebra with Linear Hypotheses will appear at FoSSaCS 2026 this spring, but is already available on arXiv.
19 Nov 2025 On December 9th, many of my colleagues and I will be on strike to revert the budget cuts levied against Dutch higher education and research.