Bob Coecke - 23/07/68 - Willebroek - Belgium; OXFORD UNIVERSITY, COMLAB, Wolfson Building, Parks Road, OX1 3QD, UK. e-mail: coecke(#a#t#)comlab.ox.ac.uk

Scientific Background: Doctor in Sciences, Graduate in Physics, Undergraduate in Mathematics, Physics and Engineering.  Obtained while affiliated to: Free University of Brussels (VUB), Belgium, Theoretical Physics Group (TENA) and Department of Mathematics (DWIS).  First post-doctoral experience as research-associate at Flander's Fund for Scientific Research.  Other post-doctoral affiliations: IMPERIAL COLLEGE, London, Theoretical Physics Group.  McGILL UNIVERSITY, Montreal, Department of Mathematics and Statistics, Logic and Category Theory Group.  CAMBRIDGE UNIVERSITY, Department of Pure Mathematics and Mathematical Statistics, Category Theory Group --- As researcher at the European TMR network "Linear Logic in Computer Science".  I was a voted council Member of the International Quantum Structures Association (IQSA) .  I  received the 2004 Biennial Prize for Meritorious Research in the Field of Quantm Structures.
 

• I AM GRADUALLY MOVING THE CONTENT OF THIS WEBPAGE TO MY OXFORD ONE @ web.comlab.ox.ac.uk/oucl/people/bob.coecke.html

• Scientific interest:  Quantum Structures, Informatic Structures, Process Structures, Space-time Structures, Logic and Category Theory.

 
• DOWNLOADS (latest addition 15-04-2004)

QUOXIC (Oxford-Imperial) MEETINGS

PHILOSOPHY OF PHYSICS AT OXFORD

OXFORD TOPOLOGY SEMINAR

QUBITNEWS

PICTURES OF MATHEMATICIANS

ADVANCED COURSE (NOTES WILL BE PUT SOON): STRUCTURE, LOGICALITY AND SENSE IN QUANTUM THEORY

CURRENT RESEARCH IN OPERATIONAL QUANTUM LOGIC II; CURRENT RESEARCH IN OPERATIONAL QUANTUM LOGIC III (incl. PSSL72); CURRENT RESEARCH IN OPERATIONAL QUANTUM LOGIC: ALGEBRAS, CATEGORIES AND LANGUAGES; COVER, SAMPLE PAGES AND CONTENTS;  What is"Dynamic Operational Quantum Logic" or "Intuitionistic Quantum Logic"?; Group picture CURRENT RESEARCH IN OPERATIONAL QUANTUM LOGIC II.

Quantum Informatics 2004, Moscow, Russia (October 5-8, 2004).

Current Themes in Quantum Gravity: A Two-day Conference in Honour of the 60th Birthday of Chris Isham, London (September 6-7, 2004).

Spatial Representation:Discrete vs.Continuous Computational Models, Dagstuhl Seminar 04351, Germany (August 22-27, 2004).

Mehrnoosh Sadrzadeh will present Joint work with Alexandru Baltag and myself at Logic and Communication in Multi-Agent Systems (LCMAS'04 at ESSLI '04), Nancy, France (August 16-20,  2004).  Paper: An Algebra ans Sequent Calculus for Epistemic Actions.

_______________________________________________________________________________________________________________________________________

• Quantum Structures 2004, Denver, US, (July 17-22, 2004).  I  received the 2004 Biennial Prize for Meritorious Research in the Field of Quantum Structures.
• Mehrnoosh Sadrzadeh will present Joint work with Alexandru Baltag and myself at the IEEE-LiCS and ICALP  workshop on Logics for Resources, Processes, and Programs, Turku, Finland (July 13, 2004).  Paper: Epistemic Actions as Resources.
• 19th Annual IEEE Symposium on  Logic in Computer Science (LICS'04), Turku, Finland (July 12-16, 2004).  Paper: A Categorical Semantics of Quantum Protocols.
• 2nd International Workshop on Quantum Programming Languages, Turku, Finland (July 12-13, 2004).  Lecture Notes: Quantum Information-Flow, Concretely, Abstractly.
• Perspectives Workshop "Quantum Computing", Dagstuhl Seminar 004202, Germany (May 9-13, 2004).
• Logical and Semantical  Methods in Quantum Computation, Bellairs Research Center, Barbados (April 12-16, 2004).
• Philosophical Logic meets Mathematical Logic: From Classical  to Quantum, Brussels, Belgum (February 5-7, 2004).
• Joint Mathematics Meetings, Phoenix - Arizona, US,  AMS Special session on The Many Lives of Lattice Theory and the Theory of Ordered Sets, with Connections to Combinatorics (January 7-10, 2004).
• Ramifications of Category Theory, Florence, Italy  (November 18-22, 2003).
• Applications of Lattice Theory and Ordered Sets to Computer Science, DIMACS, New Jersey, US (July 8-10, 2003).  SLIDES
• Causality in Computer Science and Physics (June 26, 2003),  workshop at IEEE  Symposium on Logic in Computer Science (LICS'03), Ottawa, Canada (June 22-25, 2003).
• Fields Institute Summer School on Logic and Foundations of Computation, Workshop on Quantum Programming Languages, Ottawa, Canada, (June 2-20, 2003).
• Quantum Logic meets Quantum Information, special session of Quantum Theory: Reconsideration of the Foundations 2, Vaxjo, Sweden (June 1-6, 2003).
• Seminar on Logic and Informatics 2003, Brussels, Belgium,  (March 31, 2003).
• 19th Workshop on the Mathematical Foundations of Programming Semantics (MFPS'03), McGill University, Montreal, Canada (March 19-22, 2003).   Lecture: "Entropic Geometry from Logic"
• Keye Martin presented our joint work at Workshop Domains VI, Birmingham (September 16-19, 2002). Abstract.
• 11th UK Conference on the Foundations of Physics, Oxford, UK (September 9-13, 2002). Talk: "Probability without numbers".
• Category Theory and Computer Science (CTCS'02), Ottawa, Canada (August 15-17, 2002). Talk (with Samson Abramsky): "Physical Traces: Quantum vs. Classical Information Processing".
• Theory and Applications of Quantales, Lisboa, Portugal (July 16-18, 2002).
• 6th Biannual Meeting of the International Quantum Structures Association, Vienna, Austria (July 1-7, 2002).   Pictures: 1a. Resende, Harding, I, Stubbe   &   1b.  Valckenborgh, Smets, Amira, Sourbron, Verelst   & 2a. Zapatrin, Stubbe, I, Valckenborgh   &   2b. Zapatrin, Stubbe, I, Valckenborgh
• 2002 Clifford Lectures &18th Workshop on the Mathematical Foundations of Programming Semantics (MFPS'02), Tulane University, New Orleans (March 20-26, 2002). Talk (with Keye Martin): "The Domain Theoretic Nature of Quanum Mechanics".
• Logic & Interaction Weeks, CIRM, Marseille (January 28-March 1, 2002).  Talk (with samson Abramsky): "Physical Traces: Doing GoI in the Lab".
• 5th Biannual Meeting of the International Quantum Structures Association, Cesena, Italy (March 31-April 5, 2001).
• Foundations of Probability and Physics, Vaxjo, Sweden (November 27 - December 1).
• Peripatetic Seminar on Sheaves and Logic 74, Cambridge, UK (November 4-5, 1999).
• Category Theory 2000, Como, Italy (July, 16-22, 2000).
• Current Research in Operational Quantum Logic III (CROQL III), Workshop on quantum logic and category theory syposium (Peripatetic Seminar on Sheaves and Logic 72) at the Free University of Brussels, Belgium (April 8-9; April 10-15, 2000).
• Peripatetic Seminar on Sheaves and Logic 71, Louvain-La-Neuve, Belgium (October 16-17, 1999).
• Category Theory 99, Coimbra, Portugal (July, 19-24, 1999).
• Categorical Methods in Algebra and Topology, Nassogne, Belgium (May 31-June 4, 1999).
• Current Research in Operational Quantum Logic II (CROQL II), Workshop at the Free University of Brussels, Belgium (May 17-21, 1999).
• 23th Holiday Mathematics Symposium on Algebraic Logic, New Mexico State University, USA (January 8-12, 1999).

SOME CURRENT AND PAST COLLABORATORS (THOSE WITH HOMEPAGES):

• Samson Abramsky (Oxford),
• Alexandru Baltag (Oxford),
• Rick Blute (Ottawa),
• Ross Duncan (Oxford),
• John Harding (New Mexico State),
• Peter Hines (Oxford),
• Radha Jagadeesan (De Paul - Chicago)
• Keye Martin (Tulane),
• Prakash Panangaden (McGill - Montreal),
• Dusko Pavlovic (Kestrel - Palo Alto - US),
• Pedro Resende (Tech. Univ. Lisbon),
• Mehrnoosh Sadrzadeh (UQAM - Montreal),
• Sonja Smets (Brussels),
• Isar Stubbe (Louvain-La-Neuve - Belgium),
• Alex Wilce (Susquehanna University - USA).