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.
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
Jan 2023: I wrote a blog post introducing basic causal inference topics with string diagrams.
Dec 2022: our paper, A Finite Axiomatisation of Finite-State Automata Using String Diagrams, has been accepted for publication in LMCS.
Mar 2022: I wrote a blog post about our paper, A Complete Diagrammatic Calculus for Boolean Satisfiability.