| EPSRC Reference: |
EP/T00696X/1 |
| Title: |
Resources and co-resources: a junction between semantics and descriptive complexity |
| Principal Investigator: |
Abramsky, Professor S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Oxford |
| Scheme: |
Standard Research |
| Starts: |
01 October 2019 |
Ends: |
31 March 2023 |
Value (£): |
400,336
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
10 Jul 2019
|
EPSRC ICT Prioritisation Panel July 2019
|
Announced
|
|
|
Summary on Grant Application Form |
We live in an information age, when computers and the software that drives them permeate every aspect of our society.
There are two fundamentally important aspects of computation.
- One concerns the resources needed to perform computational tasks: how many computational steps are needed, how much computer memory, etc.
- The other concerns our ability to master the staggering complexity of the computer systems we create and use. The only way of managing this complexity is to use principles of modularity and abstraction, so that at each step of our design and construction of the system, we see only a very limited piece, whose complexity we can master.
While the study of each of these aspects of computing has been greatly advanced as computer science has developed, currently we have a very limited understanding of how they relate to each other.
Building on our previous work, this project aims to greatly
enhance our common understanding of these issues, and to develop new mathematical tools and methods for studying computation based on this. This can lead in turn to new possibilities for fundamental advances in the field.
|
|
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.ox.ac.uk |