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.
- Our causality paper is the topic of a recent blog post on the n-category cafe. It forms the basis of one of the four research threads at the upcoming Adjoint School of Applied Category Theory in Leiden.
- I wrote an ERCIM news article about some of the exciting new developments in graphical calculus for quantum computation, notably the new completeness results for Clifford+T and universal quantum computation.
- Some new papers are now on arXiv, applying a whole bunch of new (and not-so-new) graphical techniques to measurement-based quantum computation, QKD, and causality:
- AK & John van de Wetering. Universal MBQC with Mølmer-Sørensen interactions and two measurement bases
- AK, Sean Tull, & Bas Westerbaan. Picture-perfect Quantum Key Distribution
- Bob Coecke, Matty Hoban & AK. Equivalence of relativistic causal structure and process terminality
- I co-organised a workshop with Pawel Sobocinski on string diagrams called STRING on Sept 8-9, satellite to FSCD in Oxford.
- I taught a week-long summer school course on Picturing Quantum Processes at ESSLLI.
- We organised the 14th International Conference in Quantum Physics and Logic (QPL) at Radboud this year, co-located with a satellite workshop on quantum structures run by IQSA. With 109 registered attendees, 5 invited talks, 4 tutorials, and a total of 67 contributed talks across QPL and IQSA, it was a huge success!
- I have a new paper on the arXiv with Sander Uijlen: quantum combs, switches, process matrices, and classical instances of indefinite causal structure arise naturally within this framework.
We 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: Sander Uijlen, John van de Wetering
- Former PhD students: Alex Merry, David Quick, Vladimir Zamdzhiev
Updated 30 Jan, 2019.