Bob Coecke  23/07/68  Willebroek
 Belgium; OXFORD
UNIVERSITY, COMLAB, Wolfson
Building, Parks Road, OX1 3QD, UK. email: 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 postdoctoral experience as researchassociate at Flander's
Fund for Scientific Research. Other postdoctoral 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.

Scientific interest: Quantum
Structures, Informatic Structures, Process Structures, Spacetime Structures,
Logic and Category Theory.

DOWNLOADS
(latest addition 15042004)
QUOXIC
(OxfordImperial) 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.
CONFERENCES RECENTLY ATTENDED
OR TO BE ATTENDED:
Quantum
Informatics 2004, Moscow, Russia (October 58, 2004).
Current
Themes in Quantum Gravity: A Twoday Conference in Honour of the 60th Birthday
of Chris Isham, London (September 67, 2004).
Spatial
Representation:Discrete vs.Continuous Computational Models, Dagstuhl
Seminar 04351, Germany (August 2227, 2004).
Mehrnoosh
Sadrzadeh will present Joint work with Alexandru
Baltag and myself at Logic
and Communication in MultiAgent Systems (LCMAS'04 at ESSLI '04), Nancy,
France (August 1620, 2004). Paper: An
Algebra ans Sequent Calculus for Epistemic Actions.
_______________________________________________________________________________________________________________________________________

Quantum
Structures 2004, Denver, US, (July 1722, 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 IEEELiCS
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 1216, 2004). Paper: A
Categorical Semantics of Quantum Protocols.

2nd
International Workshop on Quantum Programming Languages, Turku, Finland
(July 1213, 2004). Lecture Notes: Quantum
InformationFlow, Concretely, Abstractly.

Perspectives
Workshop "Quantum Computing", Dagstuhl Seminar 004202, Germany (May
913, 2004).

Logical
and Semantical Methods in Quantum Computation, Bellairs Research
Center, Barbados (April 1216, 2004).

Philosophical
Logic meets Mathematical Logic: From Classical to Quantum, Brussels,
Belgum (February 57, 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 710, 2004).

Ramifications
of Category Theory, Florence, Italy (November 1822, 2003).

Applications
of Lattice Theory and Ordered Sets to Computer Science, DIMACS,
New Jersey, US (July 810, 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
2225, 2003).

Fields
Institute Summer School on Logic and Foundations of Computation, Workshop
on Quantum Programming Languages, Ottawa, Canada, (June 220, 2003).

Quantum Logic meets Quantum Information,
special session of Quantum
Theory: Reconsideration of the Foundations 2, Vaxjo, Sweden (June 16,
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 1922, 2003). Lecture:
"Entropic
Geometry from Logic"

Keye
Martin presented our joint work at Workshop
Domains VI, Birmingham (September 1619, 2002). Abstract.

11th
UK Conference on the Foundations of Physics, Oxford, UK (September
913, 2002). Talk: "Probability without numbers".

Category
Theory and Computer Science (CTCS'02), Ottawa, Canada (August 1517,
2002). Talk (with Samson Abramsky): "Physical Traces: Quantum vs. Classical
Information Processing".

Theory
and Applications of Quantales, Lisboa, Portugal (July 1618, 2002).

6th
Biannual Meeting of the International Quantum Structures Association,
Vienna, Austria (July 17, 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
2026, 2002). Talk (with Keye Martin): "The Domain Theoretic Nature of
Quanum Mechanics".

Logic
& Interaction Weeks, CIRM, Marseille (January 28March 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 31April 5, 2001).

Foundations
of Probability and Physics, Vaxjo, Sweden (November 27  December 1).

Peripatetic Seminar on Sheaves and
Logic 74, Cambridge, UK (November 45, 1999).

Category
Theory 2000, Como, Italy (July, 1622, 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 89; April 1015, 2000).

Peripatetic
Seminar on Sheaves and Logic 71, LouvainLaNeuve, Belgium (October
1617, 1999).

Category
Theory 99, Coimbra, Portugal (July, 1924, 1999).

Categorical Methods in Algebra and
Topology, Nassogne, Belgium (May 31June 4, 1999).

Current
Research in Operational Quantum Logic II (CROQL II), Workshop at the
Free University of Brussels, Belgium (May 1721, 1999).

23th
Holiday Mathematics Symposium on Algebraic Logic, New Mexico State
University, USA (January 812, 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
(LouvainLaNeuve  Belgium),

Alex Wilce
(Susquehanna University  USA).
Last updated 8/2004.