I am a postdoctoral researcher in the Programming Principles, Logic, and Verification group at University College London.
My research is in theoretical computer science with a broader focus on the study of open systems arising in various scientific contexts. I employ algebraic tools, in particular those of category theory, with an emphasis on monoidal (higher) categories and diagrammatic reasoning as a unifying language.
I am particularly interested in understanding the fundamental structures of concurrency. Whenever possible I favour axiomatic reasoning, looking for complete sets of axioms to reason effectively about system equivalence.
Prior to joining UCL, I obtained my PhD from the University of Oxford under the supervision of Bob Coecke and Samson Abramsky.
Recent and upcoming events
- 5 Nov 2020: I was invited to talk at the PPS seminar (IRIF) on my recent work on automata with Fabio Zanasi (slides).
- 1 Oct 2020: I was invited to talk at the TallCat seminar on our fully diagrammatic axiomatisation of finite-state automata.
- 30 Sept 2020: New preprint with Fabio Zanasi on a fully diagrammatic axiomatisation of language equivalence for finite-state automata.
- 7 Jan 2020: I was invited to talk at the OASIS seminar in Oxford on Concurrency from N-linearity.
- 4 Sept 2019: I was invited to talk at SYCO 5 in Birmingham, on Diagrammatic Methods in Concurrency (video).
- 30 Aug 2019: I presented our paper Bialgebraic Semantics for String Diagrams at CONCUR in Amsterdam.
- 18 Jul 2019: I gave a keynote talk at ACT in Oxford, titled Graphical Resource Algebra, from Linear to Affine.
- 27 Jun 2019: I presented our paper Graphical Affine Algebra at LICS in Vancouver
- 18 Jan 2019: I presented our paper Diagrammatic Algebra: from Linear to Concurrent Systems at POPL in Lisbon.
- 17 Dec 2018: I gave a talk at SYCO 2 (slides).
- 26-29 Nov 2018: I attended a Shonan meeting on Diagrammatic methods for linear and nonlinear systems.
- 15 Nov 2018: I joined the PPLV group at University College London.