I am Hector (or Hex, they/them),
and I am a post-doctoral researcher in Graphical Calculi and Quantum Computing.
My work has included the creation, alteration, and generalisation
of graphical calculi, and the theoretical groundwork
for the automated generation of theorems using these calculi.
I have also helped develop the software Quantomatic,
and a website on the ZX calculus,
which contains tutorials, demos, and accessibility information.
I used to chair the ZX-calculus workshop (now run by Cole Comfort)
and I am the admin for the ZX-calculus Discord server.
The idea of conjecture synthesis is to automatically generate true and interesting
statements inside a given theory.
While the ZX-calculus is the primary calculus we work with (and therefore Quantum Computing theorems the
the theory and software developed can be extended to other categories and calculi.
My research has led to novel links between the study of circuit equations
and more traditionally algebraic fields such as Galois Theory and Algebraic Geometry.
My other interests likely to be relevant to people reading this website
are generally music or coding related.
I have worked as a software engineer and as a data scientist,
given talks on cyber security and data privacy at MozFest,
and written academic publications on surveillance and trust.
Although now greatly limited (due to damage to my hands) I am a flautist, pianist, and choral singer.
Research, talks and publications
- 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, March 2020
- Paper: There and back again: A circuit extraction tale,
(Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering) March 2020
- Talk: Phase homomorphisms, slides,
ZX Workshop 2020-02-03
- Talk: Phase-Ring Calculi, slides,
ZX Workshop 2019-12-09
- Talk: ZQ, slides, ZX Workshop
- Talk: Conjecture Intuition
and Verification for Diagrammatic
Languages, ACT 2019
- Talk: Finite Verification for Infinite Families of Diagram Equations,
recording, QPL 2019
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
- Paper: Finite Verification for Infinite Families of Diagram Equations,
DOI, March 2019
- Software: Quantomatic, a program for manipulating spider
In the event that this list lags behind reality you can also check
on the arXiv
or the publication list
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