| EPSRC Reference: |
GR/A00353/01 |
| Title: |
MATHEMATICAL MODELS FOR FUNCTIONAL AND CONCURRENT COMPUTATION |
| Principal Investigator: |
Fiore, Professor MP |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science and Technology |
| Organisation: |
University of Cambridge |
| Scheme: |
Advanced Fellowship (Pre-FEC) |
| Starts: |
01 October 2000 |
Ends: |
30 September 2005 |
Value (£): |
225,424
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
My research project centres on investigating semantic theories for a variety of computational scenarios within the scientific framework of denotational semantics. In particular, I will focus on the study and development of models for functional and concurrent computation, with the ultimate goal of building a mathematical theory of general (computational and physical) processes.(a) I will pursue the research programme on Axiomatic Domain Theory (ADT), culminating with the development of a representation theory for models of ADT.(b) I will investigate models of rich process languages, from which I will attempt to design paradigmatic concurrent programming languages equipped with program logics.(c) I will address the problem of the mathematical representation of general processes. In particular, I will. investigate the feasibility of a theory unifying and integrating models of concurrency (typically discrete) and dynamical systems (typically continuous).
|
|
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: |
http://www.cam.ac.uk |