## About me

I am Hector (or Hex, they/them), and I am a
PhD student in Artificial Intelligence and Quantum Computing at the University of Oxford.
My focus is on Conjecture Synthesis,
in particular with building the tool Quantomatic
and in the language of the ZX-calculus.

The idea of conjecture synthesis is to develop an artificial intelligence
with a focus on generating true and interesting
statements inside a given theory.
While the ZX-calculus is the primary calculus we work inside (and therefore Quantum Computing theorems the
primary output,)
the theory and software developed can be extended to other categories.
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 AI for Quantum Computing my background and other interests are more mathematical in
nature.

## Research and publications

- Talk: Conjecture Intuition
and Verification for Diagrammatic
Languages, ACT 2019
- Talk: Finite Verification for Infinite Families of Diagram Equations,
recording, QPL 2019
- Website: zxcalculus.com, an introduction to the ZX-calculus and demo of PyZX
- Paper: Finite Verification for Infinite Families of Diagram Equations,
arxiv link, 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 mathematics.