My work is on higher category theory and its applications in computer science and mathematics, particularly in areas related to quantum structures.
As well as my Oxford position, I hold a Royal Society University Research Fellowship and Senior Lectureship at the School of Computer Science at the University of Birmingham.
Here's some other things I'm doing at the moment.
- 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.