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. 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...
These days, I am particularly interested in uncovering the algebra of probabilistic circuits.
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
26 February 2025: I gave a talk on probabilistic Boolean circuits in Tallinn, at the Computing with Markov Categories Workshop (slides).
12 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.
March 2024: Datio Stein, Fabio Zanasi, Richard Samuelson, and I wrote Graphical Quadratic Algebra, introducing a complete axiomatic theory for least-squares problems or, equivalently, Gaussian programming (potentially extended with non-determinism).
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. — Sir Michael Atiyah, 2002