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
| 22 Dec 2021 | Concurrent NetKAT: modeling and analyzing stateful, concurrent networks has been accepted for publication at ESOP 2022. |
| 26 Nov 2021 | I will be teaching a short four-week course on Kleene Algebra in January. |
| 24 Nov 2021 | Looking forward to giving a guest lecture tomorrow, about bisimulation up-to equivalence in Yde Venema's course Topics in Modal Logic. |
| 1 Oct 2021 | Equivalence checking for weak bi-Kleene algebra has officially been published in Logical Methods in Computer Science. |
| 30 Aug 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. |