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].
|