EPSRC logo

Details of Grant 

EPSRC Reference: EP/T00696X/2
Title: Resources and co-resources: a junction between semantics and descriptive complexity
Principal Investigator: Abramsky, Professor S
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Polytechnic University of Catalonia UPC University of California, Santa Cruz University of Copenhagen
University of Nice Sophia Antipolis University of Paris Diderot (Paris 7) University of Warsaw
Department: Computer Science
Organisation: UCL
Scheme: Standard Research
Starts: 30 September 2021 Ends: 29 March 2023 Value (£): 195,571
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
EP/T007257/1
Panel History:
Panel DatePanel NameOutcome
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: