Prof. D.J. Pym

Prof. David J. Pym
Systems Security Laboratory
Hewlett-Packard Laboratories, Bristol

Post: Hewlett-Packard Laboratories, Long Down Avenue, Stoke Gifford, Bristol BS34 8QZ
Telephone: +44 (0)117 312 8012
Fax: +44 (0)117 312 9250
Email: David Pym
Web: David Pym

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: 6.29 Norwood House
Email: David Pym
Telephone: +44 (0)1 225 38 3246
Fax: +44 (0)1 255 38 3493

Please consider attending WEIS 2009, the Eighth Workshop on the Economics of Information Security, in London, 24-25 June, 2009.

I am interested in supervising PhD students in the following areas:

Mathematical systems modelling, using algebraic, logical, and stochastic methods, with applications in information security;
Topics related to the economics of information security.

Each of these areas offers the possibility of collaboration with the Systems Security Lab at HP Labs, Bristol.

Here is a pointer to my CV.

Research

Some Recent Publications
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.