A BV-Category of Spacetime Interventions, with M. Wilson, Preprint, 2025.
A Profunctorial Semantics for Quantum Supermaps, with M. Wilson, Logic in Computer Science, 2024.
Optics for Premonoidal Categories, with M. Román, Applied Category Theory, 2023.
The Produoidal Algebra of Process Decomposition, with M. Earnshaw, M. Román, Computer Science Logic, 2024.
On the Pre- and Promonoidal Structure of Spacetime, with A. Kissinger, Applied Category Theory, 2022.
Coend Optics for Quantum Combs, with C. Comfort, Applied Category Theory, 2022.
Optimal local unitary encoding circuits for the surface code, with O. Higgott, M. Wilson, J. Dborin, F. Hanif, S. Burton, D.E. Browne, In Quantum, 2021.
CPM Categories for Galois Extensions, with S. Gogioso, Quantum Physics and Logic, 2021.
Hyper-decoherence in Density Hypercubes, with S. Gogioso, Quantum Physics and Logic, 2020.
Research Experience
Currently a postdoctoral researcher at Inria de Saclay, part of the Quacs group at LMF.
Education
DPhil from the University of Oxford; MSci in Mathematics from Imperial College London; MRes in Quantum Technologies from University College London.
Background
An Inria postdoctoral researcher in the Quacs group at LMF. Interests include category theory and its application to problems in physics, particularly quantum theory and models of spacetime.