My research focusses on the mathematical foundations of quantum computing. In no particular order, I have worked on: diagrammatic reasoning, measurement-based quantum computation, measures of non-classicality in quantum theory, and quantum computational with continuous variables. Some topics that particularly excite me at the moment are fault-tolerant quantum compilation and the design and semantics of quantum programming languages.
News
- June 2026: We have a new preprint "Composing Quantum Instruments".
- April 2026: Our papers “Graphical Symplectic Algebra” and “Denotational semantics for stabiliser quantum programs” were accepted for publication in the proceedings of FSCD 2026!
- January 2026: Cole gave a talk about our recent work at PLanQC, see the video recording here.
- 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!
- June 2025: I started a new job as Research Associate in Quantum Software at the Oxford Quantum Group.
Publications
Peer-reviewed- Denotational semantics for stabiliser quantum programs Robert I. Booth and Cole Comfort
- Graphical Symplectic Algebra Robert I. Booth, Titouan Carette and Cole Comfort
- 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
- Composing Quantum Instruments Robert I. Booth, Dominik Leichtle, Alex Rice and Kim Worrall
- 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