Hex Miller-Bakewell
About me
I'm Hex Miller-Bakewell - a mathematician, developer, and creative. I'm the Chief Technology Officer (and co-founder) of Health Data Avatar, where I lead development on privacy-first AI tools for health data management.
Outside of tech, I'm a musician (flute, piano, voice), visual artist, and someone who's navigated chronic illness and disability. That experience shapes much of my work - including my commitment to accessibility and empowering design.
Academic Work
My academic background includes a DPhil from Oxford, where I developed graphical calculi for quantum computing and tools for automated theorem synthesis. Additional work included privacy and trust in human-computer interaction, and the use of quantum cellular automata for music generation.
- Lectures: Quantum Computation, University of Sussex, July 2023
- Paper: Completeness of the ZX-calculus, Compositionality, DOI, July 2023
- Teaching: Calculus II tutorial summary slides, zip archive, KCL, February 2023
- Talk: Quantum Computing and M&S, AI Club and Gender Minorities, slides, Marks and Spencer HQ, October 2022
- Software: The CLIP-gaze package for Python, for machine-learning image caption comparisons, September 2022
- Talk: Quantum Cellular Automata Music, ISQCMC, slides, November 2021
- Programme committee: SYCO 8, November 2021
- Software: The pqca (Partitioned Quantum Cellular Automata) and musical-scales packages for Python, part of the QuTune Project, July 2021
- Website, session chair, and programme committee: Quantum Physics and Logic, July 2021
- Paper: There and back again: A circuit extraction tale, published in Quantum March 2021, (Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering)
- DPhil thesis: Graphical Calculi and their Conjecture Synthesis, ORA, November 2020
- Talk: Quantum Graphical Calculi and their Algebraic Underpinnings, Slides, TallCat Seminar, August 2020
- Paper: Entanglement and Quaternions: The graphical calculus ZQ, arxiv link
- Talk: Phase homomorphisms, slides, ZX Workshop February 2020
- Talk: Phase-Ring Calculi, slides, ZX Workshop December 2019
- Talk: ZQ, slides, ZX Workshop 2019-11-11
- Talk: Conjecture Intuition and Verification for Diagrammatic Languages, ACT 2019
- Talk: Finite Verification for Infinite Families of Diagram Equations, recording, QPL 2019
- Talk: Empowering People with Informed Consent, Data for Policy 2019 (Anirban Basu, Stephen Marsh, Tessa Darbyshire*, Natasha Dwyer, Hector Miller-Bakewell)
- Website: zxcalculus.com, an introduction to the ZX-calculus and demo of PyZX
- Paper: Finite Verification for Infinite Families of Diagram Equations, DOI, March 2019
- Software: Quantomatic, a program for manipulating spider languages