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
Projects
- 12 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
-
Newton Fund - Zero Peak Building Energy Design for India
Natarajan, S. (PI), Coley, D. (CoI), Davenport, J. (CoI), McCullen, N. (CoI) & Walker, I. (CoI)
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
Davenport, J. (PI)
1/07/16 → 31/08/18
Project: EU Commission
Research output
-
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
-
Postgraduate Cybersecurity Education for Non-Specialist Professionals
Davenport, J. H. & French, T., 31 Dec 2025, 2025 IEEE Global Engineering Education Conference (EDUCON). U. S. A.: IEEE, p. 1-9 (IEEE Global Engineering Education Conference, EDUCON).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
-
Towards a Framework for Mapping Authentic Assessment to Competency in University Computing Education in the Uk
Prickett, T., McChesney, I., Norling, E., Hayes, A., Chrysikos, A., Riddle, S., Davenport, J. H., Irons, A. & Crick, T., 3 Jun 2025, EDUCON 2025 - IEEE Global Engineering Education Conference, Proceedings. U. S. A.: IEEE, (IEEE Global Engineering Education Conference, EDUCON).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
-
A Global Survey of Introductory Programming Courses
Mason, R., Simon, Becker, B. A., Crick, T. & Davenport, J. H., 20 Mar 2024, SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education. U. S. A.: Association for Computing Machinery, p. 799-805 7 p. (SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education; vol. 1).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open Access5 Citations (SciVal) -
A Poly-algorithmic Approach to Quantifier Elimination
Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 44-51 8 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
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
-
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 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
-
Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition
Bradford, R. (Creator), Davenport, J. (Creator), England, M. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015
DOI: 10.15125/BATH-00076
Dataset