Bob Coecke

Home

Upcoming events

Work sessions

Main topic:

Annex topic 1:

Annex topic 2:

Past topics

Links

Home

I am University Lecturer of Quantum Computer Science, EPSRC Advanced Research Fellow, and GB Fellow of Wolfson College, at Oxford University. My collegue [Samson Abramsky] and I jointly head the Quantum Group at Oxford University Computing Laboratory, depicted above; I am the one with the shades. The research in the group covers a broad spectrum, also including a substantial chunk of Foundations of Physics and Category Theory research. On [my official departmental webpage] you find some general information on my research interests, pointers to online available papers, a short bio and contact details.

My PhD students are working in a variety of areas. Bill Edwards, Ben Jackson and Raymond Lal are mainly interested in the foundations of quantum mechanics, Jacob Biamonte and Ed Blakey are interested in a variety of computational models of physical origin, Philip Atzemoglou is interested in Curry-Howard-Lambek type logical isomorphisms for quantum computing, Aleks Kissinger wants to develop tools that implement our diagrammatic calculi, and Andrei Akhvlediani is a mathematician interested in category theory, who wants to prove all kinds of spider theorems hoping that one day he becomes spiderman. My postdocs [Eric Paquette] and [Jamie Vicary] are working on categorical quantum mechanics, and I also work with postdoctoral fellows [Ross Duncan] and [Mehrnoosh Sadrzadeh], respectively on categorical quantum mechanics and distributional models of meaning. I also work with regular visitors [Dusko Pavlovic] and [Rick Blute]. In fall [Alex Wilce] will be here on a Sabatical. [Chris Heunen] will join our group next year as a postdoc and several new students will start. Our group is also hiring a Departmental Lecturer to help out with teaching and "keeping the kids under control".

Events:

• [Upcoming and past events I attend/organise]
• I regularly organize events at the interface of quantum foundations, logic and category theory, for example, the workshop series [Categories, Logic and the Foundations of Physics] with Andreas Doering, the workshop series [Quantum Physics and Logic] with Prakash Panangaden and Peter Selinger, conferences [Categories, Quanta, Concepts] with Andreas Doering and Lucien Hardy a Perimeter Institute in 2009, [Foundational Structures for Quantum Information and Computation] with Hans Briegel at Obergurgl in 2008, [Categorical Quantum Logic] at Oxford in 2007, and [Cats, Kets, Cloisters] at Oxford in 2006.
• Work sessions

Papers & slides:

• Main topic: Quantum information flow, picture calculus for quantum mechanics, categorical quantum axiomatics-formalism-semantics
• Annex topic 1: Quantale semantics for dynamic epistemic logic
• Annex topic 2: Informatic orders on classical and quantum states
• Annex topic 3: Combining symbolic and statistical models of language
• Past topics