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

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


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

    Research Output

    Computer science degree accreditation in the UK: A post-shadbolt review update

    Crick, T., Davenport, J. H., Hanna, P., Irons, A. & Prickett, T., 9 Jan 2020, Proceedings - 4th Conference on Computing Education Practice, CEP 2020. U. S. A.: Association for Computing Machinery, p. 1-4 6. (ACM International Conference Proceeding Series).

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

    3 Citations (Scopus)

    Data Without Software Are Just Numbers

    Davenport, J. H., Grant, J. & Jones, C. M., 22 Jan 2020, In : Data Science Journal. 19, 1, p. 1-6 6 p., 3.

    Research output: Contribution to journalArticle

    Open Access
    1 Citation (Scopus)

    Degree Apprenticeships: Learners and aspirations.

    Hayes, A., Davenport, J., Irons, A., Smith, S., Dancy, D., Patelli, A. & James, G., 29 Jan 2020.

    Research output: Contribution to conferencePaper

    Foreword (to special issue on ICMS 2018)

    Labahn, G., Davenport, J. H. & Urban, J., 23 Apr 2020, In : Mathematics in Computer Science.

    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., 1 May 2020, In : Journal of Symbolic Computation. 98, p. 84-119 36 p.

    Research output: Contribution to journalArticle

    2 Citations (Scopus)


    Data for 'Fast Matrix Operations in Computer Algebra'

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


    Metaphors of Identity: Focus Groups

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


    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



    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 options 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