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

23 Dec 2018 Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness has been accepted for presentation at FOSSACS 2020.
16 Dec 2018 Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time received a Distinguished Paper Award at POPL 2020!
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.