Post: Department of Computer Science, University of Bath,
Claverton Down, Bath BA2 7AY, England, U.K.
Room: 1 West 2.1b
Email: d DOT j DOT pym AT bath DOT ac DOT uk
Telephone: +44 (0)1 225 38 3246
Fax: +44 (0)1 255 38 3493
Secretary: Angela Cobban: Telephone: +44 (0)1 225 38 6965
University of Bath's
Directory of Expertise:
Entry for
Prof. David J. Pym.
Since October, 2003, I have been a Royal Society Industry Fellow at Hewlett-Packard Laboratories, Bristol. I shall partially continue to be based at the University of Bath.
Here is a brief Curriculum Vitae.
Here is a link for my recent monograph, Reductive Logic and Proof-search: Proof Theory, Semantics, and Control, joint work with Eike Ritter, published by Oxford University Press in its Oxford Logic Guides series. Here is the page for its Errata and Remarks.
Here is the home page for BI, the Logic of Bunched Implications. Here is a link to a movie about BI. If you liked the movie, you might like the monograph, together with its Errata and Remarks.
Here is the home page for the EPSRC-funded project The Semantics of Classical Proofs. This project employed Carsten Führmann, at Bath, and also involved Martin Hyland and Christian Urban, at Cambridge, and Edmund Robinson, at QMUL.
Here is the home page for the EPSRC-funded project Bunched ML. This project is held jointly by myself and Peter O'Hearn and Edmund Robinson at QMUL. The project employs Matthew Collinson as a Research Officer at Bath and Josh Berdine at QMUL.