My research is in quantum information, automated reasoning, category theory, graphical calculi, and graph rewriting. A major focus of my work is the use of graphical languages to better understand (physical, mathematical, logical, ...) processes.
Before I was in Nijmegen, I was a postdoc in the Quantum Group in the Oxford Computer Science Department and a Junior Research Fellow of Wolfson College. I completed my PhD in Oxford in 2012. My thesis was entitled Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing.
Research & Updates
- Find my talks and papers here.
We have just finished a textbook!
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Bob Coecke and Aleks Kissinger, Cambridge University Press
...which teaches quantum theory from the ground up, taking diagrams as the most fundamental tool. Available in March 2017! Pre-order now from CUP or Amazon. In draft form, it has been the basis of a masters-level Quantum Computing course running in Oxford for 3 years. If you are interested in running a similar course, get in touch with me.
- I was a keynote speaker at IQSA 2016, July 10-16 in Leicester, UK.
- I gave a tutorial on process theories and graphical languages at QPL 2016, June 6-10 in Glasgow, UK.
- My student David Quick has passed his viva! Have a look at his excellent PhD thesis:
- I am the lead developer on Quantomatic, a tool for (semi)automated reasoning with diagrammatic languages.
- I maintain TikZiT, a GUI tool for making diagrams in TikZ.
- Current PhD students: Vladimir Zamdzhiev, Sander Uijlen
- Former PhD students: Alex Merry, David Quick
Updated 17 May, 2016.