I research and teach at the Department of Computer Science of the Open University of the Netherlands. In addition, I maintain a position as a researcher (Marie Skłodowska-Curie fellow) at the Institute for Logic, Language and Computation of the University of Amsterdam, working on the project VERLAN.
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. My academic interests include but are not limited to concurrency, programming languages, networks and verification.
|8 Jun 2023||The CS department of Open University currently has a vacancy for a full professor in cyber security; do consider applying!|
|4 May 2023||Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity has been accepted for publication at ICALP 2023, and is now available on arXiv.|
|1 Mar 2023||I will be teaching a course on Kleene Algebra at ESSLLI 2023 this summer! If you're interested, please do sign up. You can check out my course notes from a similar course here.|
|27 Jan 2023||A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests (accepted at ESOP 2023) is now available on arXiv.|
|22 Dec 2022||Completeness and the Finite Model Property for Kleene Algebra, Reconsidered has been accepted for publication at RAMiCS 2023, and is now available on arXiv.|