Details of Grant

EPSRC Reference:

EP/F02309X/1

Title:

Extreme Reasoning

Principal Investigator:

Other Investigators:

Martin, Professor UH	Curzon, Professor P	Malacaria, Professor P
Oliva, Dr P	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 Date	Panel Name	Outcome
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: