Alex Merry
|
Alex
Merry
Doctoral Student
alex.merry@cs
(01865 2)83574
Room 214, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
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.
Biography
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.
Selected Publications
| Pattern Graph Rewrite Systems Aleks Kissinger‚ Alex Merry and Matvey Soloviev 2012. |
| 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. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisors |
|
