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.