European Companies Search Engine
UK funding (£759,553): Extreme Reasoning Ukri15 Jan 2008 UK Research and Innovation, United Kingdom
Overview
Text
Extreme Reasoning
| Abstract | 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. |
| Category | Research Grant |
| Reference | EP/F02309X/1 |
| Status | Closed |
| Funded period start | 15/01/2008 |
| Funded period end | 14/07/2012 |
| Funded value | £759,553.00 |
| Source | https://gtr.ukri.org/projects?ref=EP%2FF02309X%2F1 |
Participating Organisations
| Queen Mary University of London |
The filing refers to a past date, and does not necessarily reflect the current state. The current state is available on the following page: Queen Mary University of London, London.
The visualizations for "Queen Mary University of London - UK funding (£759,553): Extreme Reasoning"
are provided by
North Data
and may be reused under the terms of the
Creative Commons CC-BY license.
