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
April 2026: A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes (jww Wojciech Różowski, Alexandra Silva and Fabio Zanasi) was accepted at ICALP.
April 2026: I gave a talk (online) at the Topos Colloquium on the algebra of probabilistic Boolean circuits (video)
November 2025: Graphical Quadratic Algebra received the award for best paper at ICTAC!
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.
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