Associate Professor of Quantum Computing, Oxford Computer Science. Co-author of Picturing Quantum Processes a.k.a. "the dodo book". Interested in teaching, learning, proving, optimising, and calculating stuff with string diagrams.