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