I am an assistant professor (universitair docent) in the Department of Computer Science of the Open University of the Netherlands.

I also maintain an position as a researcher (Marie Skłodowska-Curie fellow) at the Institute for Logic, Language and Computation of the University of Amsterdam, working with Nick Bezhanishvili and Yde Venema on the project VERLAN.

Before that, I was a postdoctoral associate at Cornell University's PL @ Cornell group, where I worked with Nate Foster and Dexter Kozen.

In 2020, completed my PhD at University College London, where I was a member of the Programming Principles, Logic and Verification group. My advisors were 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 projects and teaching I'm involved in.

My academic interests include but are not limited to concurrency, programming languages, networks and verification.

News