James Davenport

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

2 Active
11 Finished

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Davenport, J. & Bradford, R.

Engineering and Physical Sciences Research Council

1/07/20 → 30/09/24

Project: Research council

Newton Fund - Zero Peak Building Energy Design for India

Davenport, J.

Engineering and Physical Sciences Research Council

1/11/17 → 31/10/20

Project: Research council

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

Hayhoe, S. & Davenport, J.

7/01/19 → 31/10/19

Project: Central government, health and local authorities

SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems

Davenport, J.

EU - Horizon 2020

1/07/16 → 31/08/18

Project: EU Commission

GW4 Coding

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

2/02/16 → 30/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 proceeding › Conference 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 journal › Article

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 conference › Paper

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 journal › Editorial

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 journal › Article

2 Citations (Scopus)