Oxford OX1 3QD
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.