I'm a professor in the Department of Mathematics at the University of Western Ontario, and am affiliated with the Perimeter Institute for Theoretical Physics.

My research interests include algebraic topology (especially stable homotopy theory and model categories), homotopy type theory and univalent foundations, derived categories, modular representation theory, mathematical physics (quantum gravity), algebraic and scientific computation, and category theory (especially higher categories).