David Pym @ hp.com

David Pym, Principal Scientist, Systems Security Lab, Bristol.

I am also Professor of Logic & Computation at the University of Bath.

• Systems Modelling: Algebraic, logical, and stochastic methods for practical systems modelling.
• Systems Security: Modelling structural, operational, and economic aspects of systems security.
• Information Security Economics: Understanding the economics of how organizational investments (e.g., in people, process, and technology) in information security (e.g., addressing confidentiality, integrity, and availability) meet organizational objectives.
• Security and Trust in Information Economies: Understanding the roles of security and trust in the design and delivery of (services) systems.
• Semantics of Computation: The basic mathematics of computation, including λ-calculus, programming language semantics, logic programming, and concurrency.
• Mathematical Logic: Aspects of proof theory, categorical logic and model theory, type theory, and substructural logics; logical frameworks.

Projects

• Trust Economics
• Security Analytics
• Mathematical Systems and Security Modelling
• NESSI Services Sciences Working Group

Selected Publications

• Systems Modelling, Systems Security, and the Economics of Information Security.
• λ-calculus and Programming Language Semantics.
• Bunched Logic.
• Classical Logic.
• Reductive Logic.

Current Collaborators

• At HP Labs: Adrian Baldwin, Yolanta Beres, Matthew Collinson, Jonathan Griffin, Brian Monahan, Marco Casassa Mont, Simon Shiu.
• At The University of Bath: Christos Ioannidis, Hilary Johnson, Guy McCusker, Mark Price, Julian Williams.
• Elsewhere: James Brotherston, Carsten Führmann, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Angela Sasse, Eike Ritter, Edmund Robinson, Aad van Moorsel.

• Post: Prof. David Pym, Trusted Systems Lab, HP Labs, Bristol BS34 8QZ
• Landline: +44 (0)117 312 8012
• HP Mobile: +44 (0)7 796 938 509
• Email: David Pym
  
• Web: David Pym