I am a postdoctoral associate at Cornell University's PL @ Cornell group, where I work 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. Before that, 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
| 26 Oct 2020 | I will give a talk at the Programming Languages Seminar of the Programming Languages Group at TU Delft on November 4th. |
| 17 Oct 2020 | I will give a talk at the Programming Languages Discussion Group of the PL @ Cornell group on October 21st. |
| 10 Oct 2020 | I will serve as Student Volunteer Coordinator for CAV 2021. |
| 14 Sep 2020 | I will give a talk at the Algebra|Coalgebra seminar of the Institute for Logic, Language and Computation on October 7th. |
| 1 Sep 2020 | I started working at Cornell! |