Christopher J. Dean

I am a postdoctoral fellow in the Department of Mathematics and Statistics at Dalhousie University working with Peter Selinger and Julien Ross. My research focuses on higher category theory, homotopy type theory, and quantum computing.

Previously, I did my doctorate at the University of Oxford under the supervision of Kobi Kremnitzer and Jamie Vicary.

Selected Papers

  1. publication
    Realistic Cost to Execute Practical Quantum Circuits using Direct Clifford+T Lattice Surgery Compilation
    Tyler LeBlondChristopher Dean, George Watkins, and Ryan Bennink
    ACM Transactions on Quantum Computing, Oct 2024
  2. publication
    Computads for weak ω-categories as an inductive type
    Christopher J. DeanEric FinsterIoannis MarkakisDavid Reutter, and Jamie Vicary
    Advances in Mathematics, Jul 2024
  3. thesis
    Globular Multicategories with Homomorphism Types
    Christopher J. Dean
    University of Oxford, Oct 2022