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