Bob Coecke
Professor Bob Coecke
Room 210, Wolfson Building, Parks Road, Oxford OX1 3QD
Interests
I am interested in the Foundations of Physics, in particular the structures involved, with a strong structural bias towards Logic, Order and Category Theory, and their applications e.g. arXiv. I am particularly obsessed with alternatives to symbolic reasoning, mostly pictures e.g. arXiv, arXiv, arXiv. I am also active on compositional distributional models of natural language meaming e.g. arXiv, arXiv, arXiv, and am even migrating in the direction of understanding our brain. Some popular writings on my work are `The quantum linguist' and `Quantum mechanical words and mathematical organisms'. Older work includes information domains e.g. arXiv, dynamic epistemic logic e.g. arXiv, and even longer ago, contextual hidden variable models and quantum logic. I currently have 20 PhD students, and here are some past MSc and DPhil theses from the group. I lead a multidisciplinary research group, the Quantum Group, which now has 50 plus members. My papers can be acceced via Google Scholar. On the arXiv, you'll find papers in arXiv:quantph, arXiv:math as well as in arXiv:CS.
SOME NEWS:
 [March'16] It's been very quite here, firstly due to the fact that I relaunched my music carrier, and secondly that for the past three years my former student/postdoc Aleks Kissinger and I have been writing a book entitled Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning, now some 900 pages, and including thousends of pictures. It's almost done now and will appear before the end of the year. Meanwhile, lots of former students/postdocs of my group have been getting faculty positions elsewhere, including Ross Duncan, Chris Heunen, Aleks Kissinger, Mehrnoosh Sadrzadeh and Nikos Tzevelekos. Also, 18 of my PhD students have meanwhile finished, with 20 now on the way to that goal (see below).
 [Sept'11] A five side 1.5 M grant entitled A Unified Model of Compositional and Distributional Semantics: Theory and Applications has been awarded, with me as PI of the Oxford node. So it's official now, I am a linguist, which must be very shocking for anyone that is aware of my poor language abilities.
 [Aug'11] The paper with Raymond Lal underpinning my FQXi grant entitled Timeasymmetry of probabilities versus relativistic causal structure: an arrow of time is now available, and will appear in PRL.
 [Jul'11] I am retrospectively awarded the title of Professor of Quantum Foundations, Logics and Structures, starting October 2010.
 [Jun'11] The interdepartmental project "Quantum Nanoscience: Fundamental Physics, Emerging Structures, and Implications for our Ultimate Reality" has now started. It involves Computer Science (PI myself), Materials (Experiments: PI Andrew Briggs, Theory: PI Simon Benjamin), Philosophy (PI Chris Timpson), and is jointly funded by the CQT in Singapore and JTF.
 [May'11] Our "quantum physics > natural language processing"research (cf. this paper and this New Scientist coverage) is the cover feature of this summer's issue of our departments industry newsletter. The article is an easy read for those interested.
 [Mar'11] My 80 page paper with Ross Duncan entitled Interacting Quantum Observables: Categorical Algebra and Diagrammatics is the first categorytheory related paper to appear in the New Journal of Physics. It starts with a 40 page tutorial on categorical quantum mechanics.
 [Jan'11] I obtained an FQXi Large Grant entitled A relativistic universe of interacting quantum processes, jointly written with my student Raymond Lal.
 [Jan'11] My paper Quantum Picturalism is in the top 10 of most downloaded papers of the journal Contemporary Physics.
 [Dec'10] Some of our research features in the 11 December 2010 issue of New Scientist. It made the cover heading as Quantum Linguistics Leap forward for artificial intelligence. Here is the paper jointly written with Stephen Clark and Mehrnoosh Sadrzadeh which it talks about, and here is a scan of that New Scientist issue.

[Nov'10] The 1000 page volume New Structures For Physics (B. Coecke, Ed., SpringerVerlag) is now available. Here, here, here and here are some example chapters, this is the editorial.
Biography
My previous affiliations are: the Free University of Brussels where I obtained my Doctorate in Theoretical Physics, Imperial College in London where I was a postdoc in the Theoretical Physics Group, and the Mathematics and Statistics Department of McGill University in Montreal where I was a postdoc in the Category Theory Group. I was also formally affiliated to the Department of Pure Mathematics and Mathematical Statistics of Cambridge University, on a research grant of the European TMR network Linear Logic in Computer Science. I have been offered a Long Term Visiting Scientists position at the Perimeter Institute for Theoretical Physics, which I took up for a period of 3 months in 2009. I held an EPSRC Advanced Research Fellow entitled The Structure of Quantum Information and its Ramifications for IT Aug 2006  Jul 2011, and University Lecturer of Quantum Computer Science Jun 2007  Sept 2010, until I became Professor of Quantum Foundations, Logics and Structures, a title awarded retrospectively in July 2011 to take effect from October 2010. I am a Governing Body Fellow of Wolfson College since Jun 2007. I coordinated the EC FP6 STREP Foundational Structures in Quantum Information and Computation (QICS)  I also hold/held several EPSRC, ONR, JTF and FQXi grants.
See also
Selected Publications

Graded Entailment for Compositional Distributional Semantics
Desislava Bankova‚ Bob Coecke‚ Martha Lewis and Daniel Marsden
2016.
Details about Graded Entailment for Compositional Distributional Semantics  BibTeX data for Graded Entailment for Compositional Distributional Semantics  Link to Graded Entailment for Compositional Distributional Semantics

Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras
Dimitri Kartsaklis‚ Mehrnoosh Sadrzadeh‚ Stephen Pulman and Bob Coecke
In A. Chubb J. Eskandarian and V. Harizanov, editors, Logic and Algebraic Structures in Quantum Computing and Information. Cambridge University Press. 2013.
To appear
Details about Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras  BibTeX data for Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras  Download (pdf) of Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras

A new description of orthogonal bases
Bob Coecke‚ Dusko Pavlovic and Jamie Vicary
In Electronic Notes in Theoretical Computer Science. Vol. 23. No. 3. Pages 555–567. 2013.
Details about A new description of orthogonal bases  BibTeX data for A new description of orthogonal bases  DOI (http://dx.doi.org/10.1017/S0960129512000047)  Link to A new description of orthogonal bases
Activities
 Quantomatic
 Compositional Distributional Models of Meaning
 Computational Linguistics
 Quantum Group
 Dynamic Epistemic Logic