# Aleks Kissinger

** Assistant Professor (UD)**, Quantum Group. aleks@cs.ru.nl | contact info

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.To get some flavour of the book, you can check out Categorical Quantum Mechanics, part 1 and part 2, which give approximately the first 8 chapters in a somewhat condensed package.

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

## Students

**Current PhD students:**Vladimir Zamdzhiev, Sander Uijlen**Former PhD students:**Alex Merry, David Quick

## Teaching

I am teaching two courses this year: Languages and Automata and *Matrixrekenen*.

*Updated 17 May, 2016.*