Hector Miller-Bakewell

Room 250
Wolfson Building
Parks Road
Oxford OX1 3QD

About me

I am Hector (or Hex, they/them), and I am a PhD student in Graphical Calculi for Quantum Computing at the University of Oxford. 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 assisted in building the tool Quantomatic, and the creation of a website on the ZX calculus, which contains tutorials, demos, and accessibility information.

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 primary output,) the theory and software developed can be extended to other categories and calculi. The software is written as a module on top of Quantomatic, a graphical rewrite tool that I am continuing to develop as part of a legacy of DPhil students, overseen by Aleks Kissinger. While my current work is officially described as Computer Science my background, methods and other interests are mathematical in nature.

Research, talks and publications

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 mathematics.