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

29 Jun 2020 Partially Observable Concurrent Kleene Algebra has been accepted for presentation at CONCUR 2020.
27 Mar 2020 A revised version of Equivalence checking for weak bi-Kleene algebra is now available on arXiv.
25 Feb 2020 A preprint of Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness is now available on arXiv.
16 Jan 2020 A preprint of A Categorical Framework for Learning Generalised Tree Automata is now available on arXiv.
23 Dec 2019 Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness has been accepted for presentation at FOSSACS 2020.