معرفی
Jamie Vicary is a Professor of Future Computation at the University of Cambridge and holds the title of Royal Society University Research Fellow. He is affiliated with the Department of Computer Science and Technology and is a Fellow of King's College. His research focuses on foundational aspects of quantum computing, category theory, and formal verification, with contributions to higher-dimensional category theory, quantum protocols, and proof assistants like homotopy.io. He explores intersections between mathematics and computer science, emphasizing categorical structures and their applications in quantum information and logic.
Research interests include the development of algebraic models for quantum systems, formal methods for higher categories, and tools for automated reasoning. Notable work includes advancing the theory of strictly associative and unital ∞-categories, categorical approaches to quantum dynamics, and the design of proof assistants for finitely-presented globular categories. His contributions to quantum teleportation under reference-frame uncertainty and the study of quantum Latin squares further highlight his interdisciplinary approach.
Academic awards include the prestigious Royal Society University Research Fellowship. Vicary's work bridges abstract mathematics and practical computational tools, with a focus on advancing foundational theories and their implementation through software systems like Globular and homotopy.io.
