If you made any changes in Pure these will be visible here soon.

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
Decomposition Engineering & Materials Science
Decompose Mathematics
Algebra Engineering & Materials Science
Computer Algebra Mathematics
Polynomials Engineering & Materials Science
Elementary Functions Mathematics
Truth table Mathematics
programming Social Sciences

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2009 2020

NCCE - SW Partnership: National Centre for Computing Education - South West Partnership

Hayhoe, S. & Davenport, J.


Project: Central government, health and local authorities


GW4 Coding

Davenport, J., Calway, A., Burnap, P., Everson, R. & Murphy, E.


Project: Research-related funding

Global Mobility Scheme - Complexity Theory

Davenport, J.


Project: Research-related funding

Research Output 1979 2020

A UK Case Study on Cybersecurity Education and Accreditation

Davenport, J., Crick, T., Irons, A. & Prickett, T., 12 Jul 2019, (Accepted/In press) Frontiers in Education 2019. IEEE, (IEEE Frontiers in Education Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access


Davenport, J. H., Kovacs, L. & Zaharie, D., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 459-460 2 p.

Research output: Contribution to journalEditorial

Identifying the parametric occurrence of multiple steady states for some biological networks

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 15 Jul 2019, In : Journal of Symbolic Computation. 98, p. 84-119 36 p.

Research output: Contribution to journalArticle

Intelligent Geometry Tools

Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., Aug 2019, Proceedings ARCADE 2019. EasyChair Publications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

On Benefits of Equality Constraints in Lex-Least Invariant CAD (Extended Abstract

Nair, A. S., Davenport, J. & Sankaran, G., Sep 2019, Proceedings SC2 2019. 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution



Data for 'Fast Matrix Operations in Computer Algebra'

Tonks, Z. (Creator), University of Bath, 13 Dec 2017


Dataset for GW4 "First Programming Courses" project

Davenport, J. (Creator), Murphy, E. (Creator), Crick, T. (Creator), University of Bath, 2016


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


Metaphors of Identity: Focus Groups

Panteli, N. (Creator), Davenport, J. (Creator), Marder, B. (Creator), Nemetz, F. (Creator), University of Bath, Apr 2015



Advances in Cylindrical Algebraic Decomposition

Author: Wilson, D., 24 Dec 2014

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD


Auto-tuning compiler for HPC

Author: Jones, J., 4 Sep 2019

Supervisor: McCusker, G. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD


Computational Verification of Security Requirements

Author: Bibu, G. D., 19 Nov 2014

Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD


Evolutionary Innovations and Dynamics in Wagner's Model of Genetic Regulatory Networks

Author: Wang, Y., 18 Apr 2016

Supervisor: Bryson, J. (Supervisor), Priest, N. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD


Improvements to quantum search, with applications to cryptanalysis

Author: Pring, B., 20 Nov 2019

Supervisor: Davenport, J. (Supervisor), Power, A. (Supervisor) & Petit, C. (External person) (Supervisor)

Student thesis: Doctoral ThesisPhD