EPSRC logo
Researcher Details
 
Name: Professor D Pym
Organisation: UCL
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
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