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
| 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. |
| 27 Aug 2025 | If you have recent work about relation algebras, Kleene algebras, or anything in between, please consider submitting a paper to RAMICS 2026. |
| 11 Jul 2025 | My extended abstract On Propositional Program Equivalence is now available on arXiv. |