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.
- I'm a keynote speaker at IQSA 2016, July 10-16 in Leicester, UK.
- I'll be giving a tutorial on process theories and graphical languages at QPL 2016, June 6-10 in Glasgow, UK.
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 for pre-order soon! 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.
To get some flavour of the book, you can check out this paper, which gives approximately the first 6 chapters in a somewhat condensed package.
- 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.