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, in particular those of category theory, with an emphasis on monoidal (higher) categories and diagrammatic reasoning as a unifying language.

I am particularly interested in understanding the fundamental structures of concurrency. Whenever possible I favour axiomatic reasoning, looking for complete sets of axioms to reason effectively about system equivalence.

Prior to joining UCL, I obtained my PhD from the University of Oxford under the supervision of Bob Coecke and Samson Abramsky.

Recent and upcoming events