## Dr Jamie Vicary

**Royal Society University Research Fellow**

**Senior Lecturer**

*Email:* jamie.vicary@cl.cam.ac.uk

*Virtual Office:* http://whereby.com/jamie'svirtualoffice

*Physical Office:* FS22

*Telephone:* 01223 7(63510)

*Address:* Computer Laboratory, University of Cambridge,

J. J. Thomson Avenue, Cambridge, CB3 0FD, 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 Programming, Logic and Semantics research group, part of the Computer Laboratory at the University of Cambridge. 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. Before my current position I was based at the University of Birmingham, in the Theoretical Computer Science research group of the School of Computer Science.

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

**June 2021.**I will be giving an invited talk at the meeting "New Perspectives in Quantum Information" at ETH, Zurich.**May 2020.**I will be giving an invited talk at the XIth KCIK Symposium in Gdansk, Poland.

## The past

**April 2020.**The first Online Worldwide Seminar on Logic and Semantics (OWLS) was a huge success, with 359 participants at its peak, and hundreds of people taking advantage of the virtual coffee breaks to socialize. See you all 2 weeks time!**April 2020.**I will be taking up a Senior Lecturer position at the University of Cambridge, in the Theory, Programming and Semantics group of the Computer Laboratory.**March 2020.**With Alexandra Silva and Pawel Sobocinski, I am delighted to announce the Online Worldwide Seminar on Logic and Semantics (OWLS), a new online-only international seminar series, with "coffee breaks" before and after each seminar giving a nontrivial social component. Join our first seminar at 2pm UTC+1 on Wednesday April 1.**December 2019.**I will be attending the Sixth Symposium on Compositional Structures (SYCO 6) in Leicester on 16-17 December.**November 2019.**My textbook "Categories for Quantum Theory: An Introduction", coauthored with Chris Heunen, has been published by Oxford University Press!**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.**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.

## 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.)