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.
News
| 9 Jul 2024 | This September, I will start a new position at Leiden University's Leiden Institute of Advanced Computer Science. Exciting! |
| 12 Jun 2024 | If you have an interesting theoretical result lying around and don't know where to send it, why not consider ICTAC? It's a nice conference! |
| 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. |