I am a researcher with a particular interest in the mathematical foundations of quantum computing. In no particular order, I have worked on: diagrammatic calculi for higher-dimensional quantum systems, measurement-based quantum computation beyond qubits, measures of non-classicality in quantum theory, and quantum computational advantages in continuous variables. Some topics that particularly excite me at the moment are quantum error correction, fault-tolerant quantum compilation and the design and semantics of quantum programming languages.
News
- January 2026: Cole gave a talk about our recent work at PLanQC, see the video recording here.
- December 2025: I gave a talk at the Scottish Programming Languages Seminar.
- December 2025: Cole Comfort and I have a new preprint "Denotational semantics for stabiliser quantum programs".
- November 2025: Our paper “Effective descriptions of bosonic systems can be considered complete” was published in Nature Communications!
- July 2025: I gave a talk at QPL 2025.
- June 2025: I started a new job as Research Associate in Quantum Software at the Oxford Quantum Group.
Publications
Peer-reviewed- Effective descriptions of bosonic systems can be considered complete Francesco Arzani, Robert I. Booth and Ulysse Chabaud
- Flow conditions for continuous variable measurement-based quantum computing Robert I. Booth and Damian Markham
- The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering and Lia Yeh
- Outcome determinism in measurement-based quantum computation with qudits Robert I. Booth, Aleks Kissinger, Damian Markham, Clément Meignant and Simon Perdrix
- Contextuality and Wigner negativity are equivalent for continuous-variable quantum measurements Robert I. Booth, Ulysse Chabaud and Pierre-Emmanuel Emeriau
- Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions Robert I. Booth and Titouan Carette
- Bridging thermodynamics and metrology in nonequilibrium quantum thermometry Vasco Cavina, Luca Mancino, Antonella de Pasquale, Ilaria Gianani, Marco Sbroscia, Robert I. Booth, Emmanuele Roccia, Roberto Raimondi, Vittorio Giovanetti and Marco Barbieri
- Geometrical Bounds on Irreversibility in Open Quantum Systems Luca Mancino, Vasco Cavina, Antonella de Pasquale, Marco Sbroscia, Robert I. Booth, Emmanuele Roccia, Ilaria Gianani, Vittorio Giovanetti and Marco Barbieri
- Denotational semantics for stabiliser quantum programs Robert I. Booth and Cole Comfort
- Engineering CSS surgery: compiling any CNOT in any code Clément Poirson, Joschka Roffe and Robert I. Booth
- Complete equational theories for classical and quantum Gaussian relations Robert I. Booth, Titouan Carette and Cole Comfort
- Graphical Symplectic Algebra Robert I. Booth, Titouan Carette and Cole Comfort