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. |