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. Once in a blue moon I publish some code.

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

News

30 Sep 2021 I am excited to start work as a Marie Skłodowska-Curie fellow at the Institute for Logic, Language and Computation, working with Nick Bezhanishvili and Yde Venema.
1 Jun 2021 Looking forward to teaching CS 1110: Introduction to Computing using Python this summer at Cornell!
22 Apr 2021 Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness has been accepted for presentation at ICALP 2021.
17 Feb 2021 A preprint of Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness is now available on arXiv.
16 Feb 2021 A preprint of Learning Pomset Automata is now available on arXiv.