EPSRC logo

Details of Grant 

EPSRC Reference: EP/V040944/1
Title: Resources in Computation
Principal Investigator: Abramsky, Professor S
Other Investigators:
Researcher Co-Investigators:
Project Partners:
International Iberian Nanotechnology Lab UCL University of Cambridge
University of Helsinki University of Paris Diderot (Paris 7) University of Warsaw
Department: Computer Science
Organisation: University of Oxford
Scheme: EPSRC Fellowship
Starts: 01 September 2021 Ends: 31 August 2026 Value (£): 1,792,395
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:
Panel DatePanel NameOutcome
24 Feb 2021 EPSRC ICT and DE Fellowship Interviews 24 February 2021 Announced
27 Jan 2021 EPSRC ICT Prioritisation Panel January 2021 Announced
Summary on Grant Application Form
Programming is intrinsically based on the use of limited resources, such as memory and processing power of computers.

Various abstractions of resources play an important role throughout computer science, but they are conceptualised in very different, and apparently unrelated ways. In particular, there is a big gap between studies focussing on precise quantitative issues of what we can do and how efficiently we can do it with limited resources, and those which concern more conceptual aspects, which underpin modern high-level programming languages, and application-oriented programming.

In this project, building on some recent breakthrough developments which relate these different aspects, we aim to develop a unified theory of resources which will apply to all these aspects, and allow a flow of ideas between them. This will provide new tools and methods for computer scientists, and lead both to new kinds of results, and more general versions of existing ones.
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