I am a postdoctoral researcher (Marie Skłodowska-Curie fellow) at the Institute for Logic, Language and Computation, 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.


24 Aug 2022 Ryan Doenges has written a nice blog post explaining our recent joint work on Leapfrog.
7 Aug 2022 I'm spending the rest of August working with various people in the PL @ Cornell group.
28 Jul 2022 Starting this fall, I'll be an assistant professor in the Computer Science department of Open University. Looking forward to it!
20 Jun 2022 I am giving a talk at the University of Groningen's Computer Science colloquium about Leapfrog on June 28th.
19 May 2022 A preprint of Leapfrog: Certified Equivalence for Protocol Parsers (to appear at PLDI 2022) is now available on arXiv.