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
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
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
-
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
-
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
1/07/16 → 31/08/18
Project: EU Commission
Research output
-
Artificial Conflict Sampling for Real Satisfiability Problems
Davenport, J. H. & Uncu, A. K., 25 May 2023, 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Buchberger, B., Marin, M., Negru, V. & Zaharie, D. (eds.). United States: IEEE, p. 55-58 4 p. (Proceedings of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
-
Challenges and opportunities of teaching cybersecurity in UK university computing programmes
Prickett, T., Yang, L., Irons, A., Miller, K., Brooke, P., Crick, T., Hayes, A., Davenport, J., English, R., Maguire, J., Bechkoum, K. & Jones, A., 16 May 2023, Cybersecurity teaching in higher education. Sikos, L. F. & Haskell-Dowland, P. (eds.). 1 ed. Springer, Cham, p. 1-36 36 p.Research output: Chapter or section in a book/report/conference proceeding › Chapter or section
-
Lazard-style CAD and Equational Constraints
Davenport, J. H., Nair, A. S., Sankaran, G. K. & Uncu, A. K., 24 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). Association for Computing Machinery, p. 218-226 9 p. (ACM International Conference Proceeding Series).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open Access -
Using Skills Profiling to Enable Badges and Micro-Credentials to be Incorporated into Higher Education Courses
Ward, R., Crick, T., Davenport, J. H., Hanna, P., Hayes, A., Irons, A., Miller, K., Moller, F., Prickett, T. & Walters, J., 24 May 2023, In: Journal of Interactive Media in Education. 2023, 1, 22 p., 10.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
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 for chapter "Quality and Bias"
Davenport, J. (Creator), University of Bath, 10 Mar 2022
DOI: 10.15125/BATH-01099
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 supporting the paper: Truth table invariant cylindrical algebraic decomposition
England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015
DOI: 10.15125/BATH-00076
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