University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Follow us on twitter
Linked in
Linked in
Google plus
Google plus
Stumble Upon
Stumble Upon

Quantum Group

We study structural and foundational aspects of computer science and physics, and the  connections  between them, with applications in quantum information and computation, as well as in computational linguistics, computational logic and semantics. Here are listed some of our current major activities, along with some of the main people involved:

Group photo

Click here to access the extensive Oxford Quantum Talk Archive, our video archive of research talks; enquiries can be sent to Chris Heunen. You can also view our group calendar.

Joining the group

If you'd like more information about joining the group, as a postdoctoral researcher or as a DPhil student, please contact a faculty member listed below. We have supported postdoctoral fellowship applications for strong applicants. The Engineering and Physical Sciences Research Council and the Royal Society have annual postdoctoral fellowship competitions, some of which are open to non-British nationals. The department also awards DPhil scholarships each year to the strongest EU (DTA) and overseas (Clarendon) applicants.

If you're already doing a Masters degree in Oxford and might be interested in doing your project with a member of our group, please get in touch as soon as possible with one of the group members listed above.

If you're an undergraduate and would like to learn more about the sorts of things we work on, have a look at the MSc in Mathematics and the Foundations of Computer Science.

Mailing lists

We run an international quantum foundations mailing list. To subscribe, send a blank email to We also have a separate list to announce local events related to our group's activities; you can subscribe to this by emailing the maintainer.


Members of the group are pleased to receive funding from the following sources:

 Sources   Projects
  • Categorical unification: where foundational physics, natural language and rational processes meet
  • Quantum Nanoscience: Fundamental Physics, Emerging Structures and Implications for Our Ultimate Reality
  •  Quantum Information Flow: Mathematical Foundations & Applications to Security
  • Algorithmic and Logical Aspects when Composing Meanings
  • Topological Game Semantics for Cyber Security

Related seminar series


Head of Activity





Andre Ranchin
(Imperial College London)


Past Members

Personal photo - Andrei Akhvlediani
Andrei Akhvlediani
Personal photo - Philip Atzemoglou
Philip Atzemoglou
Alexandru Baltag
(University of Amsterdam)
Jacob Biamonte
(ISI Foundation)
Ed Blakey
(University of Bristol)
Rick Blute
(University of Ottawa)
Personal photo - Eric Cavalcanti
Eric Cavalcanti
Personal photo - Andreas Doering
Andreas Doering
Ross Duncan
(Free University of Brussels)
William Edwards
(Perimeter Institute)
Dan Ghica
(University of Birmingham)
Personal photo - Edward Grefenstette
Edward Grefenstette
Lucien Hardy
(Perimeter Institute)
Peter Hines
(University of York)
Ben Jackson
Bart Jacobs
Elham Kashefi
(University of Edinburgh)
Alex Lang
Fotini Markopoulou
(Perimeter Institute)
Keye Martin
(Naval Research Laboratory)
Personal photo - Alex Merry
Alex Merry
Prakash Panangaden
(McGill University)
Personal photo - Eric Paquette
Eric Paquette
Personal photo - Karl Paulsson
Karl Paulsson
Dusko Pavlovic
(Royal Holloway)
Simon Perdrix
(University of Grenoble)
Personal photo - Ondrej Rypacek
Ondrej Rypacek
Phil Scott
(University of Ottawa)
Personal photo - Marni Sheppeard
Marni Sheppeard
Colin Stephen
Nikos Tzevelekos
(Queen Mary, University of London)
Personal photo - Quanlong Wang
Quanlong Wang
Personal photo - Quan Zhang
Quan Zhang
Personal photo - Jonathan Zvesper
Jonathan Zvesper

Selected Publications

View all

A Study of Entanglement in a Categorical Framework of Natural Language

Dimitri Kartsaklis and Mehrnoosh Sadrzadeh

In Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL). Kyoto‚ Japan. June, 2014.

Entangled and sequential quantum protocols with dephasing

Sergio Boixo and Chris Heunen

In Physical Review Letters. Vol. 108. Pages 120402. 2011.

Noncommutativity as a colimit

Benno van den Berg and Chris Heunen

In Applied Categorical Structures. Vol. 20. No. 4. Pages 393−414. 2012.


Spring School 2014, Oxford, QPL 2014, The Centre for Quantum Mathematics and Computation, PrakashFest, Oxford, CQM 2014, QPL 2015

Group Photo

Group Photo