|
David Pym, Principal Scientist, Systems Security Lab, Bristol.
I am also Professor of Logic & Computation at the University of Bath.
This page is under development.
Research Interests
- 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
Selected Publications
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.
Contact
- 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
|
 |
|
Printable version
