I'm a postgraduate student of computer science in the Programming Principles, Logic and Verification group at University College London. My supervisors are Alexandra Silva and Fabio Zanasi. I received an MSc in Computer Science from Leiden University in 2016.

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

12 Oct 2018 Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time has been (conditionally) accepted for presentation at POPL 2020.
28 Aug 2018 Soft component automata: Composition, compilation, logic, and verification has been accepted for publication in J. Sci. Comp. Prog.
16 Jul 2019 A preprint of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time is now available on arXiv.
14 Jun 2019 Completeness and Incompleteness of Synchronous Kleene Algebra has been accepted for presentation at MPC 2019.
14 Jun 2019 Kleene Algebra with Observations has been accepted for presentation at CONCUR 2019.