Keynotes

Luís Soares Barbosa, University of Minho, PT

TBD

Paula Herber, Universitat Munster, DE

TBD

Aleks Kissinger, University of Oxford, UK

Picturing Quantum Software

Quantum software is the code that runs on a quantum computer. I’ll give a brief overview of what this means, as well as a trifecta of important challenges in this area: efficient compilation, verification, and classical simulation of quantum programs. Then, I’ll discuss some of the ways we’ve been attacking these problems in recent years, using a number of techniques based on graph rewriting and the ZX calculus.