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 to reason about their behaviour, in particular those of category theory, with an emphasis on monoidal (higher) categories and diagrammatic reasoning as a unifying language.
You can write to me at
Oct 2021: I wrote a blog post presenting one possible string diagrammatic syntax for the lambda-calculus and its problems.
Jan 2021: our FoSSaCS paper A String Diagrammatic Axiomatisation of Finite-State Automata received ETAPS best paper award.