Rate My Professor Jamie Vicary

Vicary's research employs category theory as an abstract language for interacting information-processing systems, developing new logical and structural techniques to advance computation in quantum and classical domains. His work spans geometrical higher category theory, including semistrict theories and string diagrams via the homotopy.io proof assistant; type theory for higher categories; quantum combinatorics; dynamics of quantum systems; and topological quantum field theory. He contributes to the Cambridge Logical Structures Hub research group and has received the Birkhoff–von Neumann Prize in 2022 for research on quantum foundations. Key publications include 'Computads for weak ∞-categories as an inductive type' with Christopher Dean, Eric Finster, Ioannis Markakis, and David Reutter (Advances in Mathematics, 2022); 'Zigzag normalisation for associative n-categories' with Lukas Heidemann and David Reutter (Proceedings of LICS 2022); 'The word problem for braided monoidal categories is unknot-hard' with Antonin Delpeuch (Proceedings of ACT 2021); 'Higher Quantum Theory' (2012); and 'Categorical formulation of quantum algebras' (2011). Vicary has delivered invited lectures worldwide, including at LOOPS '23, Midlands Graduate School, and various quantum and category theory seminars.