This area explores the fundamental and foundational aspects of computers and computation.
This area explores the fundamental and foundational aspects of computers and computation. Aiming to improve understanding of computation and its capabilities, limitations and future potential, this research area encompasses research around logic and semantics, and the study of algorithms, complexity and automata.
Researchers employ approaches including:
- abstract models
- formal and rigorous methods
- logical concepts and semantics.
The Theory of Computation and Maths of Computing research areas were merged to form this research area.
This fundamental research area underpins much of the broader computer science field and has strong links with several branches of mathematics, for example:
- numerical analysis.
This is an underpinning area with potential for transformative long-term impacts. Our strategy reflects the need to preserve its long-term health in the UK and that of the areas it underpins.
We aim to have:
- a diverse area that includes foundational, theoretical research and novel theoretical computer science being applied to real problems, and shows evidence of long term research impacts
- an area which reflects the UK’s well established standing and leadership in formal methods, semantics and related subjects
- greater use of classical algorithmic techniques across computer science, incorporating fundamental mathematics and work on the study of computation and related subjects
- built UK capability while maintaining the current strength of research area activity
- strong leadership within the community working on theoretical computer science to ensure existing UK excellence is preserved over the long term
- specialist capability to address strategic priorities, such as the growing need for safe, secure information and communication technologies
- continued engagement between researchers and industrial partners, to test and prove the application of research to real or realistic problems.
Researchers should reflect on how they can address the challenges described in EPSRC’s Safe and Secure ICT priority.
Researchers should exploit opportunities to work across discipline boundaries, ground their research in emerging computational paradigms and architectures, and maintain strong links with areas underpinned by theoretical computer science, including:
- Verification and correctness
- Architectures and operating systems
- Programming languages and compilers.
It is expected that researchers will build a stronger interface with mathematics in areas such as logic and combinatorics. This provides an opportunity for researchers to contribute to EPSRC’s Cross-disciplinarity and co-creation priority.