University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Quantum Group

We exploreGroup photo the structural connections between physics and computer science, with applications in quantum information and computation, and also in the foundations of physics. We rely in particular on category theory and logic. An international community is forming, with our group playing a leading role. A main activity within the group is the development of categorical quantum mechanics, which was pioneered by Samson Abramsky and Bob Coecke, an activity which ranges from foundations of physics to software development. There is also activity on pure category theory, dynamic epistemic logic, and Quantomatic Development and the Compositional Distributional Model for natural language processing pioneered by Bob Coecke and Mehrnoosh Sadrzadeh.

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, please send an email to Samson Abramsky or Bob Coecke. We have supported postdoctoral fellowship applications for strong applicants. The Engineering and Physical Sciences Research Council and the Royal Society have annual fellowship competitions, some of which are open to non-British nationals.

If you're interested in doing a DPhil with us, contact Samson Abramsky, Jonathan Barrett or Bob Coecke. The department now awards 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, either with Samson Abramsky, Jonathan Barrett, Bob Coecke, Chris HeunenJamie Vicary, or Aleks Kissinger for categorical quantum mechanics, quantum foundations/information, category theory or computer science logic, and Bob Coecke for computational linguistics, dynamic epistemic logic, or automation.  

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 quantum-foundations-subscribe@maillist.ox.ac.uk. 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.

Funding

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

 Sources  Current Projects
EPSRC
  • Categorical unification: where foundational physics, natural language and rational processes meet
  • Quantum Nanoscience: Fundamental Physics, Emerging Structures and Implications for Our Ultimate Reality
ONR
  •  Quantum Information Flow: Mathematical Foundations & Applications to Security
FQXi
  •  A Relativistic Universe of Interacting Quantum Processes

Related seminar series

People

Head of Activity

Faculty

Visitors

Research

Students

Andre Ranchin
(Imperial College London)

Administration

Past Members

Personal photo - Andrei Akhvlediani
Andrei Akhvlediani
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)
Lucien Hardy
(Perimeter Institute)
Peter Hines
(University of York)
Matthew Hoban
(ICFO, Spain)
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 - Roman Priebe
Roman Priebe
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

Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning

Edward Grefenstette and Mehrnoosh Sadrzadeh

In Computational Linguistics. 2014.

Compositional Operators in Distributional Semantics

Dimitri Kartsaklis

In Springer Science Reviews. 2014.

Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

Edward Grefenstette

PhD Thesis June, 2013.

Links

Spring School 2014, Oxford

QPL 2014

The Centre for Quantum Mathematics and Computation

PrakashFest, Oxford

Group Photo

Group Photo

Info

Themes