I research and teach at the Department of Computer Science of the Open Universiteit. 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.


22 Jan 2024 If you have anything interesting to share about relational and algebraic approaches to computer science, please consider submitting to RAMICS 2024.
4 Jan 2024 There is a neat little article in the Cornell Chronicle about Formal Abstractions for Packet Scheduling.
27 Nov 2023 If you have new results related to coalgebra, please consider submitting to CMCS 2024.
22 Oct 2023 Delighted to hear that Formal Abstractions for Packet Scheduling has won a Distinguished Paper Award at OOPSLA 2023!
1 Jul 2023 Formal Abstractions for Packet Scheduling will appear at OOPSLA 2023.