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.
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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
-
GW4 ISAMBARD2 EPSRC Tier-2 High Performance Computing Services
Davenport, J. (PI)
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)
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)
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
-
Symbolic Computation, Standards, & the EU AI Act
Davenport, J. H., 25 Sept 2025, Proceedings - 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025. U. S. A.: IEEE, p. 1-2 2 p. (Proceedings - 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
1 Link opens in a new tab Citation (SciVal) -
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
2 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
-
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: 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 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 for chapter "Quality and Bias"
Davenport, J. (Creator), University of Bath, 10 Mar 2022
DOI: 10.15125/BATH-01099
Dataset