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
| 11 Nov 2024 | An Elementary Proof of the FMP for Kleene Algebra will appear in Fundamenta Informaticae. |
| 2 Oct 2024 | A revised version of A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests is now available on arXiv. It fixes a technical gap in the original that required some careful arguments. |
| 1 Sep 2024 | Started my new position at the LIACS in Leiden! |
| 17 Jul 2024 | Feeling very blessed to be among the people who were awarded one of this year's NWO Veni grants. I'll be investigating GKAT and decompilation. |
| 9 Jul 2024 | This September, I will start a new position at Leiden University's Leiden Institute of Advanced Computer Science. Exciting! |