I am a PhD researcher in quantum computing, working on formal and diagrammatic approaches to quantum computation. My research focuses on using mathematical and computational tools to understand, design, and reason about fault-tolerant quantum computing and emerging quantum architectures.