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

**June 2019.**Invited tutorial "Higher Categories and Quantum Structures" as part of Quantum Symmetries 2019 at Ohio State University, organized by David Penneys.

## The past

**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.**SYCO 2 took place on December 17-18 at the University of Strathclyde, UK, organized by Fredrik Forsberg.**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.**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 Toroto, to my group in Oxford.**September 2018.**I will be talking about category theory and visual proofs at RCon3, a cryptocurrency conference in Berlin.**August 2018.**We received 42 submissions for the First Symposium on Compositional Structures (SYCO 1), an exciting new meeting aiming to bring together the diverse communities whose work focuses on the theory and application of category-theoretical tools.**August 2018.**I have been invited to be a founding editor of the new journal*Compositionality*.**July 2018.**Invited keynote talk at the 13th International Workshop on User Interfaces for Theorem Provers, Oxford, UK.**July 2018.**Invited keynote talk at Young Researchers in Mathematics, University of Southampton, UK.**June 2018.**Paper "Coherence for Frobenius pseudomonoids and the geometry of linear proofs" (with Lawrence Dunn) accepted for publication in Logical Methods in Computer Science.**June 2018.**Paper "Tight reference frame–independent quantum teleportation" (with Dominic Verdon) accepted to Physical Review A.**June 2018.**Attending QPL 2018 in Halifax, a great conference in a wonderful city, and giving on a talk on our paper "Orthogonality for quantum Latin isometry squares" (joint work with Benjamin Musto).**June 2018.**David Reutter and I had a great time at the Hay Festival, where we gave two sessions of our workshop "Build Your Own Quantum Computer!".

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