I am a PhD student with interests that are wide in breadth but include in particular the ZX-calculus and the formal verification of quantum programs.