## Dr Jamie Vicary## Royal Society University Research Fellow## Senior LecturerEmail: vicaryjo@cs.bham.ac.uk
Telephone: 0121 414 2889
Virtual office: appear.in/jamie'svirtualoffice
Address:
Room 221, School of Computer Science
The University of Birmingham, Birmingham, B15 2TT, UK. |

My work is on higher category theory and its applications in computer science and mathematics, particularly in areas related to quantum structures.

I am a Royal Society University Research Fellow and Senior Lecturer in the Theoretical Computer Science research group, part of the School of Computer Science at the University of Birmingham. I am also a Senior Research Fellow at the Department of Computer Science at the University of Oxford, where I am a member of the Quantum Group.

I have two physical offices, so I can be hard to find. If you want to talk, feel free to drop into my virtual office any time—think of it as just like knocking on my office door.

I am always interested in taking on new PhD or Masters students, or starting new collaborations. If you're interested in my research, feel free to get in touch.

## The future

**December 2019.**The Sixth Symposium on Compositional Structures will take place in Leicester on 16-17 December.**November 2019.**I will be giving an invited talk at an LMS Meeting on Category Theory and its Applications, organized by Andrew Smith and Peter Guthmann at the University of Leicester.**September 2019.**I will be co-organizing SYCO 5 and STRINGS 3, which will be held together in Birmingham on 4-6 September.

## The past

**August 2019.**I have been invited to serve on the programme committee for QPL 2020**August 2019.**My student David Reutter has successfully defended his DPhil thesis. Congratulations David!**August 2019.**Noah Snyder from the University of Indiana will be visiting.**August 2019.**The paper "Quantum teleportation with infinite reference frame uncertainty and without prior alignment" (with Dominic Verdon) has been accepted by Physical Review A.**June 2019.**I attended LICS 2019, and with David Reutter gave a presentation of our paper "High level methods for homotopy construction in associative n-categories".**June 2019.**Invited tutorial "Higher Categories and Quantum Structures" as part of Quantum Symmetries 2019 at Ohio State University, organized by David Penneys.**April 2019.**I will be giving a mini course at the 2019 Midland Graduate School on the Foundations of Computing Science with the title "Monoidal Categories and Higher Categories".**March 2019.**The paper "High-level methods for homotopy construction in associative n-categories" (with David Reutter) has been accepted for presentation at LICS 2019.**March 2019.**The Third Symposium on Compositional Structures (SYCO 3) took place on March 27 and 28 in the Department of Computer Science in Oxford, with 70 participants and 30 submissions.**March 2019.**I presented the contributed talk "Introducing homotopy.io" at SYCO 3, giving an overview of the new tool developed with Lukas Heidemann and Nick Hu.**March 2019.**I co-presented a live video podcast from the 4th Quantum Computing Hackathon, taking place at the Said Business School in Oxford.**March 2019.**My student David Reutter has been awarded a postdoctoral position with Peter Teichner at the Max Planck Institute for Mathematics in Bonn, to start in September 2019. Congratulations David!**February 2019.**My student Dominic Verdon, currently a postdoc with Ashley Montanaro in Bristol, has successfully defended his doctoral thesis "Algebraic quantum structures for reference frame–independent quantum teleportation and pseudotelepathy". Congratulations Dominic!**February 2019.**New preprint "High-level methods for homotopy construction in associative n-categories" (with David Reutter), giving a general contraction principle for proof construction in*homotopy.io*.**January 2019.**I have been invited to serve on the programme committees for ACT 2019 and QPL 2019.**January 2019.**I have been invited to join the Royal Society's International Exchanges panel.**December 2018.**Paper "Biunitary constructions in quantum information" (with David Reutter) accepted to Higher Structures.**December 2018.**I gave an invited talk at the 2018 Midland Graduate School Christmas Seminar.**December 2018.**SYCO 2 took place on December 17-18 at the University of Strathclyde, UK, organized by Fredrik Forsberg.**November 2018.**I will be giving a seminar to the Theoretical Physics group in Birmingham about the classification of 3d topological quantum field theories.**October 2018.**I have been elected to serve on the FSCD Steering Committee as Workshop Chair.**September 2018.**Research visit from Lucy Zhang, University of Toronto, to my group in Oxford.**September 2018.**I will be talking about category theory and visual proofs at RCon3, a cryptocurrency conference in Berlin.

## Papers

**3**(1), 109--154. arXiv:1609.07775. To appear.

**14**(1). arXiv:1612.01093, doi:10.23638/LMCS-14(1:8)2018.

*Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)*, 12 pages. doi:10.1109/lics.2017.8005147.

**98**(12306), 27 pages. arXiv:1710.0106, doi:10.1103/PhysRevA.98.012306.

*Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)*, LIPIcs

**72**, 18 pages. doi:10.4230/LIPIcs.CALCO.2017.19.

*Proceedings of the Fourth International Workshop on Linearity*, EPTCS

**238**, 33-43. arXiv:1701.04917, doi:10.4204/EPTCS.238.4.

*Proceedings of the 14th International Workshop on Quantum Physics and Logic (QPL 2017)*, EPTCS

**266**, 329-348. arXiv:1701.03309, doi:10.4204/EPTCS.266.21.

*Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)*, LIPIcs

**72**, 1-20. doi:10.4230/LIPIcs.CALCO.2017.20.

*Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)*, LIPIcs

**34**, 1-11. doi:10.4230/LIPIcs.FSCD.2016.34.

**236**, 202-214. arXiv:1603.08866, doi:10.4204/EPTCS.236.13.

**16**(15), 1318--1332. arXiv:1504.02715.

*Proceedings of the 11th International Conference on Quantum Physics and Logic (QPL 2014)*, EPTCS

**172**, 316-332. arXiv:1412.8548, doi:10.4204/EPTCS.172.23.

*Proceedings of the 11th International Conference on Quantum Physics and Logic (QPL 2014)*, EPTCS

**172**, 304-315. arXiv:1405.1463, doi:10.4204/EPTCS.172.22.

*Proceedings of the 11th International Conference on Quantum Physics and Logic (QPL 2014)*, EPTCS

**172**, 270-284. arXiv:1406.1278, doi:10.4204/EPTCS.172.19.

**31**(21), 214007. arXiv:1401.3416, doi:10.1088/0264-9381/31/21/214007.

*Proceedings of the 29th Conference in the Mathematical Foundations of Computer Science (MFPS 2013)*, ENTCS

**23**(3), 555-567. arXiv:1301.3393.

*Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)*, 33 pages. arXiv:1209.3917, doi:10.1109/LICS.2013.14.

*Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012)*, 10 pages. doi:10.1109/lics.2012.70.

**222**(3), 703-745. arXiv:1207.2054, doi:10.1016/j.jpaa.2017.05.004.

**304**(3), 765-798. arXiv:0805.0432, doi:10.1007/s00220-010-1138-0.

**23**(3), 555-567. arXiv:0810.0812, doi:10.1017/S0960129512000047.

**52**(8), 82104. arXiv:0807.2927, doi:10.1063/1.3549117.

**47**(12), 3408-3447. arXiv:0706.0711, doi:10.1007/s10773-008-9772-4.

**363**(1833), 1807-1816. doi:10.1098/rsta.2005.1608.

## Talks

## Public engagement

I find public outreach work exciting and fulfilling, and consider it an important part of an academic career. With David Reutter, I have developed a public engagement workshop, called *Qubit.Zone*, where participants can explore exciting quantum ideas—including superposition, entanglement and teleportation—using hand-held electronic qubit simulators. A list of all my group's public engagement activity is given below. If you would be interested in having a *Qubit.Zone* workshop as part of your event, get in touch!

*Qubit.Zone*workshop at Brasenose College, Oxford to a group of students from under-privileged backgrounds with an interest in maths and science. (Fatimah Ahmadi and Jean-Simon Lemay.)

*Qubit.Zone*workshop at Corpus Christi College, Oxford, to an audience of 25 students in year 12 from schools in the north of England. (Fatimah Ahmadi and Linde Wester.)

*Qubit.Zone*workshops at the Department of Physics in Oxford, as part of the event

*Marie Curious — Girls Exploring Science*. There were about 15 girls per workshop. (Fatimah Ahmadi and David Reutter.)

*Qubit.Zone*workshop at the Department of Computer Science, University of Oxford, as part of "Target Oxbridge", an event to encourage applications from black and mixed-race students. (Benjamin Musto and Dominic Verdon.)

*Qubit.Zone*workshops at University College in Oxford as part of a mathematical sciences study day for high-achieving Year 12 students, with about 20 students per workshop. (David Reutter and Dominic Verdon.)

*Qubit.Zone*workshops each with about 20 students drawn from local Oxford schools. (David Reutter and Dominic Verdon.)

*Qubit.Zone*workshops were given at the Mathematical Institute, University of Oxford, to two groups of girls from year 9 with an interest in science and technology. (Fatimah Ahmadi, Vaia Patta, Jamie Vicary and Linde Wester.)