My work is on higher category theory and its applications in computer science and mathematics, particularly in areas related to quantum structures.
Here's some other things I'm doing at the moment.
- I co-organize the Oxford Advanced Seminar in Informatic Structures (OASIS), with Chris Heunen, Clare Horsman, Aleks Kissinger and Sam Staton.
- I'm part of the Centre for Quantum Mathematics and Computation (QMAC), an interdisciplinary collaboration between the Oxford's Computer Science, Mathematics and Physics departments.
- I maintain two popular mailing lists, one for international quantum foundations announcements with over 950 subscribers, and another for quantum computing and quantum foundations events taking place in Oxford with around 100 subscribers. Please get in touch if you'd like to be added to either of these.
- I am the lecturer for Categorical Quantum Mechanics (with Dan Marsden, and originally with Chris Heunen). These notes are being turned into a textbook with OUP, to be published soon.
- I frequently supervise DPhil, MSc and undergraduate students on topics related to the mathematical foundations of quantum computing. If you'd like to work on a project with me, get in touch.
Groupoid Semantics for Thermal Computing
Krzysztof Bar and Jamie Vicary
Wormholes and entanglement
John Baez and Jamie Vicary
Topological Structure of Quantum Algorithms
In Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. Pages 35. 2013.