Alex Merry

Alex Merry

Doctoral Student

Leaving date: 8th April 2014

Themes:

• Quantum

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

View AllManage publications

• Pattern Graph Rewrite Systems

  Aleks Kissinger‚ Alex Merry and Matvey Soloviev

  2012.

  Details about Pattern Graph Rewrite Systems | BibTeX data for Pattern Graph Rewrite Systems | Link to Pattern Graph Rewrite Systems

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

  Details about The GHZ/W−calculus contains rational arithmetic | BibTeX data for The GHZ/W−calculus contains rational arithmetic | DOI (10.4204/EPTCS.52.4) | Link to The GHZ/W−calculus contains rational arithmetic

Activities

• Quantomatic
• Quantum Group

Supervisor