I am interested in automated reasoning techniques, and their application to the graphical languages induced by symmetric monoidal compact closed categories. I am heavily involved in the Quantomatic project, which serves as a testbed for this work.
I am currently finishing an EPSRC-funded DPhil on automated reasoning in graphical languages. Prior to this, I completed a four-year undergraduate masters degree in Mathematics and Computer Science, also at the University of Oxford.
Pattern Graph Rewrite Systems
Aleks Kissinger‚ Alex Merry and Matvey Soloviev
The GHZ/W−calculus contains rational arithmetic
Bob Coecke‚ Aleks Kissinger‚ Alex Merry and Shibdas Roy
In Electronic Proceedings in Theoretical Computer Science. Vol. 52. Pages 34−48. 2011.