David Pym
Model-based Analysis (MBA) Group
Trusted Systems Laboratory
Hewlett-Packard Laboratories,
Bristol
Post: Hewlett-Packard Laboratories, Filton Road, Stoke Gifford, Bristol BS34
8QZ
Telephone: +44 (0)117 312 8012
Fax: TBA
Email: David Pym
Web: TBA
Prof. David J. Pym
Professor of Logic & Computation
Department of Computer Science
University of Bath
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.
Between October, 2003 and December, 2005, I have been a Royal Society Industry Fellow at Hewlett-Packard Laboratories, Bristol.
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.