Quantum Group
We explore 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. The 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. With Andreas Doering and Chris Heunen joining our group we now have activity in the topos approach to physical theories, and there is also growing activity in dynamic epistemic logic and computational linguistics.
To be kept informed of seminars and events going on in the group, you can sign up to our mailing list by emailing the organizer. You can also view our group calendar.
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 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, Bob Coecke or Andreas Doering for categorical quantum mechanics and quantum computer science, Mehrnoosh Sadrzadeh or Alexandru Baltag for dynamic epistemic logic, and Mehrnoosh Sadrzadeh or Bob Coecke for computational linguistics.
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.
funding
Members of the group are pleased to receive funding from the following sources:
|
|
|
|
|
|
related seminar series
- Physics of Information
- Interdisciplinary Seminar in Fundamental Physics
- OASIS: The Oxford Advanced Seminar on Informatic Structures
- QUOXIC
- Categories, Logic and Foundations of Physics
|
Head of Activity |
People
|
Faculty |
Samson Abramsky | Alexandru Baltag | Bob Coecke | Andreas Doering | Dusko Pavlovic |
|
Research |
Ross Duncan | William Edwards | Chris Heunen | Mehrnoosh Sadrzadeh | Nikos Tzevelekos | Jamie Vicary | Jonathan Zvesper |
|
Students |
Andrei Akhvlediani | Philip Atzemoglou | Jacob Biamonte | Ed Blakey | Edward Grefenstette | Ben Jackson | Aleks Kissinger | Raymond Lal | Shane Mansfield | Alex Merry | Karl Paulsson | Roman Priebe | Colin Stephen | Jakub Zavodny |
|
Past Members |
Rick Blute | Peter Hines | Elham Kashefi | Keye Martin | Prakash Panangaden | Eric Paquette | Simon Perdrix | Phil Scott | Paolo Zuliani |
|
Administration |
Recent publications
| Towards quantum chemistry on a quantum computer B. P. Lanyon et al. Nature Chem. 483. (2010). |
| Believe it or not, Bell states are a model of multiplicative linear logic Ross Duncan No. RR-04-18. Oxford University Computing Laboratory. October, 2004. |
| A Categorical Quantum Logic Samson Abramsky and Ross Duncan In Proceedings of the 2nd International Workshop on Quantum Programming Languages. Vol. 33 of Turku Centre for Computer Science General Publication. 2004. This paper is largely superceded by the MSCS publication with the same title, however some details, such as the sequent calculus presentation, are only found in this version. Details | BibTeX | Link (pdf) |
Group Photo
Info
|
Themes |