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:




  • Categorical unification: where foundational physics, natural language and rational processes meet (Oct 2012-Jun 2015)


  • Topological Game Semantics for Cyber Security (Apr 2013-Mar 2017)
  • Algorithmic and Logical Aspects when Composing Meanings (Jun 2014-May 2017)


  • Quantum Technologies (Oct 2012-Dec 2016)

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 - Nadish de Silva
Nadish de Silva
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)
Personal photo - Chris Heunen
Chris Heunen
Peter Hines
(University of York)
Personal photo - Clare Horsman
Clare Horsman
Ben Jackson
Bart Jacobs
Elham Kashefi
(University of Edinburgh)
Personal photo - Raymond Lal
Raymond Lal
(University of Cambridge)
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 - 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