EPSRC logo
Researcher Details
 
Name: Professor P O'Hearn
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).(C)
Previous EPSRC Support
EP/K032038/1 Compositional Security Analysis for Binaries(P)
EP/K032542/1 Program Verification Techniques for Understanding Security Properties of Software(P)
EP/H008373/2 Resource Reasoning(P)
EP/H008373/1 Resource Reasoning(P)
EP/F02309X/1 Extreme Reasoning(P)
EP/D053625/1 Modularity and Resource Separation(P)
EP/E002439/1 Smallfoot: Static Assertion Checking for C programs(P)
EP/D506735/1 Network: VSR-net: A Network for the Verified Software Repository(C)
GR/T25156/01 Towards a Compositional Model of Complexity at Higher Types(P)
GR/S53978/01 Applications of Local Reasoning(P)
GR/S41845/01 Bunched ML(P)
GR/S53961/01 Local Reasoning: Foundations and Applications(P)
GR/S03539/01 Abstraction, Confinement and Heap Storage(P)
GR/R85440/01 Code pointers and concurrency in spatial pointer logic(P)
GR/R17034/01 Local Reasoning About State(P)
GR/M15996/01 PARAMETRICITY AND REFLEXIVE GRAPHS(P)
GR/L54578/01 VERIFIED BYTECODE(C)
GR/L63860/01 TYPES, STATE AND POLYMORPHISM(P)
GR/L54639/01 LOGIC PROGRAMMING, IMPERATIVE PROGRAMMING AND CATEGORICAL SEMANTICS(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator