Lecturer in Quantum Computer Science

Oxford university Computing Laboratory

Fellow, Wolfson College

http://www.comlab.ox.ac.uk/people/Bob.Coecke/index.html

Qualifications:

Doctorate in Theoretical Physics, Free University of Brussels

Research Career:

• Postdoctorate, Theoretical Physics Group, Imperial College, London
• Postdoctorate, Category Theory Group,Mathematics and Statistics Department, McGill University, Montreal
• European TMR network grant recepient, (Linear Logic in Computer Science), Department of Pure Mathematics & Mathematical Statistics, University of Cambridge
• EPSRC Advanced Research Fellow, (The Structure of Quantum Information and its Ramifications for IT), Universiy of Oxford

Research Interest:

Foundations of Quantum Physics and Informatics with strong structural bias towards Logic, Order and Category Theory

Selected Publications:

• [The Logic of Entanglement. An invitation] - research report (2003) 160 pages. [The Logic of Entanglement] - 8 page short version of the above one.
• [Quantum information-flow, concretely, and axiomatically] - conference proceedings of both QPLII (2004) and QI-2 (2004)
• [A categorical semantics of quantum protocols] (IEEE-LiCS 2004)
• [De-linearizing Linearity I: Projective Quantum Axiomatics from Strong Compact Closure] (QPL III, 2005).
• [Kindergarten Quantum Mechanics] lecture notes (2005) of talks at Google, PI workshop, QTRF-III and Kestrel Institute.
• [Introducing Categories to the Practicing Physicist] - lecture notes (2005).
• [Quantum measurements without sums]
• [POVMs and Naimark's theorem without sums].

• [Abstract Physical Traces] (TAC 14, 2005).
• [Strongly Compact Closed Semantics] (MFPS XXI & ENTCS 155, 2005) for more pictures, and the position statement with Abramsky (2005) entitled [Physics from Computer Science], an invited contribution to International Journal for Unconventional Computing.
• [Epistemic actions as resources] (to appear in Journal for Logic and Computation) An earlier version of this work is in [Algebra and Sequent Calculus for Epistemic Actions].

• A partial order on classical and quantum states].
• [Partiality in Physics].
• [Entropic Geometry from Logic]