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.
|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 at CALCO 2019.|
|13 May 2019||On Tuesday May 21st, I shall give a talk at LaBRI, Bordeaux.|
|23 Apr 2019||If you are an undergraduate student at UCL, I have two exciting student project opportunities available!|
|23 Apr 2019||A preprint of Tree Automata as Algebras: Minimisation and Determinisation is now available on arXiv.|