EPSRC logo

Details of Grant 

EPSRC Reference: EP/F02309X/1
Title: Extreme Reasoning
Principal Investigator: O'Hearn, Professor P
Other Investigators:
Oliva, Dr P Malacaria, Professor P Curzon, Professor P
Martin, Professor UH Honda, Dr KH
Researcher Co-Investigators:
Project Partners:
Department: Sch of Electronic Eng & Computer Science
Organisation: Queen Mary University of London
Scheme: Platform Grants
Starts: 15 January 2008 Ends: 14 July 2012 Value (£): 759,553
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:
Panel DatePanel NameOutcome
30 Aug 2007 Platforms Panel August 2007 Announced
Summary on Grant Application Form
Queen Mary is a world-leading centre for research on logical methods for reasoning about computer systems. Our work has spearheaded several developments -- separation logic, logic for continuous systems, information theory for security, process types for web services -- in which novel theoretical developments by us have been brought to bear in new application areas. The purpose of this platform grant is to provide us with continuity support as we pursue the strategic development of our research. It will also be used for risky, adventurous pilot projects that could lead on to wholly new lines of research, and feasibility studies that will possibly lead on to further industrial applications of mathematical logic.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: