### Abstract

Quantum circuits give a de facto “assembly language” for quantum computation. Hence, the design, optimisation, and verification of quantum circuits is an important task in developing efficient, correct software to run on quantum computers. In this talk, I will survey some of the latest developments in applying the ZX-calculus - a graphical theory of interacting quantum processes - to three important problems in quantum software: the optimisation of quantum circuits, functional verification of circuits, and development of heuristics for efficient classical simulation.

Date

Friday, July 16, 2021 11:00 Europe/Paris

###### Associate Professor

I am an Associate Professor of Quantum Computation. My research is in quantum information, quantum foundations, automated reasoning, category theory, graphical calculi, and graph rewriting. In particular, I am interested in applications of graphical languages to quantum circuit optimisation and the development of quantum causal models.