I research and teach at the Leiden Institute of Advanced Computer Science (LIACS), part of Leiden University. My academic interests include but are not limited to programming languages, with a particular focus on control flow (deterministic, probabilistic, concurrent) and equational reasoning about programs.

In the past, I worked at the Department of Computer Science of the Open Universiteit, and I was a researcher (Marie Skłodowska-Curie fellow) at the Institute for Logic, Language and Computation of the University of Amsterdam.

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.

News