Resume
Academic Achievements
- 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.