Projects per year
Organisation profile
Organisation 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
Collaborations and top research areas from the last five years
Profiles
-
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
-
Willem Heijltjes
- Department of Computer Science - Senior Lecturer
- Mathematical Foundations of Computation
Person: Research & Teaching
Projects
- 26 Finished
-
GW4 ISAMBARD2 EPSRC Tier-2 High Performance Computing Services
Davenport, J. (PI)
Engineering and Physical Sciences Research Council
1/11/21 → 31/03/22
Project: Research council
-
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
Davenport, J. (PI) & Bradford, R. (CoI)
Engineering and Physical Sciences Research Council
1/01/21 → 31/03/25
Project: Research council
-
NCCE - SW Partnership: National Centre for Computing Education - South West Partnership
Hayhoe, S. (PI) & Davenport, J. (CoI)
7/01/19 → 31/10/19
Project: Central government, health and local authorities
Research output
-
A Strictly Linear Subatomic Proof System
Barrett, V., Guglielmi, A. & Ralph, B., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open Access -
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Davenport, J., England, M., McCallum, S. & Uncu, A. K., 28 Feb 2025, (Acceptance date) In: Mathematics in Computer Science.Research output: Contribution to journal › Article › peer-review
-
On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
Powell, T. & Neri, K., 13 Mar 2025, (Acceptance date) In: Transactions of the American Mathematical Society.Research output: Contribution to journal › Article › peer-review
Datasets
-
Data for 'Fast Matrix Operations in Computer Algebra'
Tonks, Z. (Creator), Davenport, J. (Editor) & Sankaran, G. (Editor), University of Bath, 13 Dec 2017
DOI: 10.15125/BATH-00460
Dataset
-
Data for 'Efficient characterisation of large deviations using population dynamics'
Brewer, T. (Creator), Jack, R. (Creator), Clark, S. (Supervisor) & Bradford, R. (Supervisor), University of Bath, 8 May 2018
DOI: 10.15125/BATH-00457
Dataset
-
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Davenport, J. (Creator), Zenodo, Mar 2017
Dataset