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
Prof. David J. Pym
Post: Department of Computer Science, University of Bath,
Claverton Down, Bath BA2 7AY, England, U.K.
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 was held jointly by myself and
Peter O'Hearn
and Edmund Robinson at
QMUL. The project employed
Matthew Collinson as a
Research Officer at Bath and
Josh Berdine at QMUL.
Telephone: +44 (0)117 312 8012
Fax: +44 (0)117 312 9250
Email: David Pym
Web: David Pym
Professor of Logic & Computation
Department of Computer Science
University of Bath
Room: 6.29 Norwood House
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
Research
Teaching
Other Links