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