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.
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Isambard 3 (Bath)
Davenport, J. (PI)
Engineering and Physical Sciences Research Council
1/04/23 → 31/03/27
Project: Research council
-
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
Research output
-
Beyond the unit: A course-wide, iterative formative assessment and feedback framework for enhancing learning and employability skills in computer science education
Benardis, I., Hayes, A. & Davenport, J. H., 26 Mar 2025, Formative Assessment and Feedback in Post-Digital Learning Environments: Disciplinary Case Studies in Higher Education. 1st ed. London : Taylor and Francis/ Balkema, p. 186-194 9 p.Research output: Chapter or section in a book/report/conference proceeding › Book chapter
-
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Davenport, J. H., England, M., McCallum, S. & Uncu, A. K., 31 Dec 2025, In: Mathematics in Computer Science. 19, 1, 12.Research output: Contribution to journal › Article › peer-review
Open Access -
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 Access14 Link opens in a new tab Citations (SciVal)
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
-
Dataset for chapter "Quality and Bias"
Davenport, J. (Creator), University of Bath, 10 Mar 2022
DOI: 10.15125/BATH-01099
Dataset
-
Dataset for Quantifier Elimination and CAD examples in Maple
Tonks, Z. (Creator) & Davenport, J. (Supervisor), University of Bath, 1 Jul 2023
DOI: 10.15125/BATH-00746
Dataset
-
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Davenport, J. (Creator), Zenodo, Mar 2017
Dataset