Projects per year
Personal profile
Research interests
Research interests include computer algebra, especially symbolic integration and simplification, equation solving, electronic mathematical publishing and "mathematics on the (semantic) Web", robot motion planning and cryptography, especially cracking US public-key cryptosystems. He has also published in complexity theory, type theory, security and in networking. Outside interests include examining European (especially French) PhDs.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where James Davenport is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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
-
Newton Fund - Zero Peak Building Energy Design for India
Natarajan, S., Coley, D., Davenport, J., McCullen, N. & Walker, I.
Engineering and Physical Sciences Research Council
1/11/17 → 31/10/22
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
-
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
1/07/16 → 31/08/18
Project: EU Commission
-
Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK
Crick, T., Davenport, J. H., Hanna, P., Hayes, A., Irons, A., Miller, K., Prickett, T., Ward, R., Allen, B., Patil, B. & Payne, S., 6 Jan 2022, Proceedings - 6th Conference on Computing Education Practice, CEP 2022. English, R. & Stewart, C. (eds.). New York, U. S. A.: Association for Computing Machinery, p. 21-24 4 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
Bradford, R., Davenport, J. H., England, M., Sadeghimanesh, A. & Uncu, A., 12 Jan 2022, In: ACM Communications in Computer Algebra. 55, 3, p. 107-111 5 p.Research output: Contribution to journal › Article › peer-review
-
Cybersecurity Education and Formal Methods
Davenport, J. H. & Crick, T., 11 Mar 2021, Formal Methods – Fun for Everybody - First International Workshop, FMFun 2019, Revised Selected Papers. Cerone, A. & Roggenbach, M. (eds.). Cham, Switzerland: Springer, p. 159-172 14 p. (Communications in Computer and Information Science; vol. 1301 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Ábrahám, E., Davenport, J. H., England, M. & Kremer, G., 28 Feb 2021, In: Journal of Logical and Algebraic Methods in Programming. 119, 100633.Research output: Contribution to journal › Article › peer-review
Open Access -
Developing a Computer Science Education Community of Practice for Early-Career Academics in the UK
Crick, T., Davenport, J., Hayes, A., Irons, A. & Prickett, T., 26 Jun 2021.Research output: Contribution to conference › Poster › 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
-
Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition
England, M. (Creator), Bradford, R. (Creator) & Davenport, J. (Creator), University of Bath, 2015
DOI: 10.15125/BATH-00071
Dataset
-
Metaphors of Identity: Focus Groups
Panteli, N. (Creator), Davenport, J. (Creator), Marder, B. (Creator) & Nemetz, F. (Creator), University of Bath, Apr 2015
DOI: 10.15125/BATH-00079
Dataset
-
Dataset for chapter "Quality and Bias"
Davenport, J. (Creator), University of Bath, 10 Mar 2022
DOI: 10.15125/BATH-01099
Dataset
-
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Davenport, J. (Creator), University of Bath, Mar 2017
Dataset