Projects per year
Organization profile
We explore the relationship between mathematics and computer science.
We use computers to manipulate representations of algebraic and geometric concepts, with applications to topics such as cryptography, security and engineering. We are the UK's leading centre for this work in computational mathematics and its applications. We are the EU centre of expertise on interfacing computer algebra to numeric calculations.
We use mathematical structures to put computer science on firm theoretical foundations. We are concerned with the mathematical understanding of logical reasoning, of programs, of processes, of programming languages, and of theorem provers.
Our methods include ideas and techniques from category theory, game theory, model theory, proof theory and type theory, as well from more traditionally computational topics such as automata, formal languages and computability.
Fingerprint
Network
Profiles
-
Russell Bradford
- Department of Computer Science - Senior Lecturer
- Mathematical Foundations of Computation
Person: Research & Teaching
-
James Davenport
- Department of Computer Science - Hebron and Medlock Professor of Information Technology
- International Centre for Higher Education Management (ICHEM)
- Institute of Coding
- UKRI CDT in Accountable, Responsible and Transparent AI
- Mathematical Foundations of Computation
Person: Research & Teaching
-
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
Engineering and Physical Sciences Research Council
1/01/21 → 31/03/25
Project: Research council
-
GW4 ISAMBARD2 EPSRC Tier-2 High Performance Computing Services
Engineering and Physical Sciences Research Council
1/11/21 → 31/03/22
Project: Research council
-
NCCE - SW Partnership: National Centre for Computing Education - South West Partnership
7/01/19 → 31/10/19
Project: Central government, health and local authorities
Research output
-
Sequences in overpartitions
Andrews, G. E. & Uncu, A. K., 17 Jan 2023, (E-pub ahead of print) In: Ramanujan Journal.Research output: Contribution to journal › Article › peer-review
Open Access -
A Combined VTS/Lazard Quantifier Elimination Method
Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 31 Dec 2022, In: CEUR Workshop Proceedings. 3273, p. 41-49 9 p.Research output: Contribution to journal › Conference article › peer-review
-
A finitization of Littlewood’s Tauberian theorem and an application in Tauberian remainder theory
Powell, T., 30 Apr 2023, In: Annals of Pure and Applied Logic. 174, 4, 30 p., 103231.Research output: Contribution to journal › Article › peer-review
Open Access