I am a research fellow 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. In a nutshell, my aim is to extend algebraic reasoning to structures that are not easily seen as algebraic objects: networks, circuits, automata and more...
Prior to joining UCL, I obtained my PhD from the University of Oxford under the supervision of Bob Coecke and Samson Abramsky
You can write to me at initial_of_my_first_name.last_name@ucl.ac.uk
November 2025: Graphical Quadratic Algebra received the award for best paper at ICTAC!
August 2025: Graphical Quadratic Algebra (with Dario Stein, Fabio Zanasi and Richard Samuelson) was accepted at ICTAC'25.
May 2025 An Introduction to String Diagrams for Computer Scientists (with Fabio Zanasi) is now published by Cambridge University Press, in the Elements in Applied Category Theory series.
April 2025: Mina Abbaszadeh and I organised SYCO 13 at UCL.
February 2025: I gave a talk on probabilistic Boolean circuits in Tallinn, at the Computing with Markov Categories Workshop (slides).
February 2025: I presented A Complete Diagrammatic Calculus for Automata Simulation (jww Thibaut Antoine, Alexandra Silva and Fabio Zanasi) at CSL, in Amsterdam (slides).
January 2025: I wrote a preprint on the equational theory of parity games.
Algebra is the offer made by the devil to the mathematician. The devil says: I will give you this powerful machine, it will answer any question you like. All you need to do is give me your soul: give up geometry and you will have this marvelous machine. — Michael Atiyah, 2002