OXFORD UNIVERSITY COMPUTING LABORATORY


Bob Coecke

\*Home
\*Upcoming events
\*Work sessions
\*Main topic:
\*Annex topic 1:
\*Annex topic 2:
\*Past topics
\*Links

Home

I am interested in the Foundations of Quantum Physics and Informatics with a strong structural bias towards Logic, Order and Category Theory. Contact details are [here]. I am University Lecturer in [Quantum Computer Science] here at Oxford and currently enjoy an [EPSRC] Advanced Research Fellowship entitled [The Structure of Quantum Information and its Ramifications for IT] which relieves me from most of my faculty duties. I am a [Governing Body Fellow of Wolfson College] and run the [interdisciplinary OASIS research seminar series] here at Oxford. I coordinate the EC FP6 [STREP] [Foundational Structures in Quantum Information and Computation (QICS)] within the [Future and Emerging Technologies Open Scheme]. The administrative aspects of my research projects are managed by [Janet Sadler]; for urgent matters you can try to contact her if you can't reach me.

My PhD students are [Philip Atzemoglou], [Bill Edwards] and [Ben Jackson] who are working on categorical quantum axiomatics, [Ed Blakey] who is working on complexity of general physical computations, and [Jake Biamonte] who works on unconventional quantum computational models. In October 2008 also Andrei Akhvlediani, Raymond Lal and Aleks Kissinger will start a PhD under my supervision. I am also acting supervisor of [Penelope Economou], who works on dynamic epistemic logic, while her supervisor [Alexandru Baltag] is on sabatical leave.

I work with postdocs [Ross Duncan], [Simon Perdrix] and [Mehrnoosh Sadrzadeh] here at Oxford, with [Dusko Pavlovic] who is currently a long-term visitor, and with colleagues [Samson Abramsky] and [Steve Clark]. We expect that next year [Eric Paquette] and [Jamie Vicary] will take up postdoc positions here at Oxford. [Rick Blute] and [Alex Wilce] will spend a sabatical in our group next year. Events:

Papers & slides:

  • Main topic: Quantum information flow, picture calculus for quantum mechanics, categorical quantum axiomatics-formalism-semantics
  • Annex topic 1: Algebraic dynamic epistemic logic and applications in e-security
  • Annex topic 2: Bayesian order and entropy on classical and quantum states and applications to information theory
  • Past topics

Here's a [picture] of me at Ramifications of Category Theory, Firenze, November 2003, taken from Andrej Bauer's [photos of mathematicians]. Here is a slightly more recent 2006 [picture] of Mehrnoosh Sadrzadeh and myself, taken by Dusko Pavlovic during some roof-party in San Francisco. Can you guess where [this one] is taken? Here's [the good, the bad and the ugly] (Abramsky, Stubbe and Coecke, in some order) taken by Jurgen Koslowski.

Seminar series at Oxford University of interest to me other than [OASIS] are the [Philosophy of Physics Research Seminars], the [Analytic Topology in Mathematics and Computer Science Seminars] and the [QUOXIC] meetings on quantum computing and information. I received the 2004 Biennial Prize for Meritorious Research in the Field of Quantum Structures awarded by the [International Quantum Structures Association (IQSA)]. 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 post-doc in the [Theoretical Physics Group], and the Mathematics and Statistics Department of McGill University in Montreal where I was a post-doc 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].

[Oxford Spires]



Home
Courses | Research | People | About us | News
Site last produced on Tue May 27 17:21:42 BST 2008 . Page generated by AWF.
Copyright (C) 2004 OUCL.
Oxford University Computing Laboratory Courses Research People About us News