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

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.
22 May 2019 A preprint of Completeness and Incompleteness of Synchronous Kleene Algebra is now available on arXiv.
14 May 2019 Tree Automata as Algebras: Minimisation and Determinisation has been accepted for presentation at CALCO 2019.