About me
I am Hector, also known as Hex,
and I am a freelance mathematician usually working on quantum computing and data science.
Most recently I have been working as the advisory Senior Data Scientist for Stonehaven,
and as a lecturer for the University of Sussex.
My doctoral work included the creation, alteration, and generalisation
of graphical calculi for quantum computing and
the automated generation of theorems using these calculi.
Since then my academic work has branched out,
including synthesising music with quantum computers for QuTune,
and exploration of trust in human-computer interactions.
Despite chronic illness, especially when that illness affected my hands,
I am a flautist, pianist, artist, and singer.
Research, talks, and publications
- 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
In the event that this list lags behind reality you can also check
on the arXiv or the
publication list
on zxcalculus.com.
I have, by now, far too many drawings of hedgehogs (among other things, but mostly hedgehogs),
which you can find on my
instagram.
The reason for the name "sometimes my hands work" is because disability left me without full
use of my hands for around five years, and drawing became part of the recovery process from that.
It has only strengthened my resolve to try and improve accessibility
in academia and work I do.