Skip to main content

Alex Merry

Personal photo - Alex Merry

Alex Merry

Doctoral Student

Leaving date: 8th April 2014



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.

Selected Publications

View AllManage publications