Name:	Professor D Pym
Organisation:	UCL
Department:	Computer Science
Current EPSRC-Supported Research Topics:	Computer Sys. & Architecture Fundamentals of Computing Information & Knowledge Mgmt Networks & Distributed Systems Software Engineering

Current EPSRC Support

EP/S022503/1 EPSRC Centre for Doctoral Training in Cybersecurity (P) EP/S013008/1 A coalgebraic framework for reductive logic and proof-search (ReLiC) (P) EP/R006865/1 Interface reasoning for interacting systems (IRIS). (P)

Previous EPSRC Support

EP/K033042/1 Algebra and Logic for Policy and Utility in Information Security (P) TS/I002502/2 Trust Domains - A framework for modelling and designing e-service infrastructures for controlled sharing of information (P) EP/K006517/1 Productive Security - Improving security compliance and productivity through measurement (C) EP/J021601/1 Creativity Greenhouse: SeRTES (C) EP/H008373/2 Resource Reasoning (P) TS/I002502/1 Trust Domains - A framework for modelling and designing e-service infrastructures for controlled sharing of information (P) GR/R29680/01 The Semantics of Classical Proofs (P) GR/R17034/01 Local Reasoning About State (C) GR/A00478/01 AF: FOUNDATIONS OF LOGIC, LOGIC PROGRAMMING AND ALGORI THMIC PROOF-SEARCH (P) GR/L54639/01 LOGIC PROGRAMMING, IMPERATIVE PROGRAMMING AND CATEGORICAL SEMANTICS (C) GR/K41687/01 SEARCH MODULES I : REPRESENTATION AND COMBINATION OF PROOF PROCEDURES (P) GR/J42380/01 SEARCH MODELS 1: REPRESENTATION AND COMBINATION OF PROOF PROCEDURES (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator