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.

Projects

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

Hayhoe, S. & Davenport, J.

7/01/1931/10/19

Project: Central government, health and local authorities

  • GW4 Coding

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

    2/02/1630/06/16

    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)

    Datasets

    Data for 'Fast Matrix Operations in Computer Algebra'

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

    Dataset

    Metaphors of Identity: Focus Groups

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

    Dataset

    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

    Dataset

    Thesis

    Advances in Cylindrical Algebraic Decomposition

    Author: Wilson, D., 24 Dec 2014

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

    Student thesis: Doctoral ThesisPhD

    File

    Auto-tuning compiler options for HPC

    Author: Jones, J., 4 Sep 2019

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

    Student thesis: Doctoral ThesisPhD

    File

    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

    File

    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

    File

    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