James Davenport

Prof

Hebron and Medlock Professor of Information Technology, Department of Computer Science
EPSRC Centre for Doctoral Training in Statistical Applied Mathematics (SAMBa)
International Centre for Higher Education Management (ICHEM)
Institute of Coding

Phone+44 (0) 1225 386181
EmailJ.H.Davenport@bath.ac.uk

1 WEST 4.53

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 and in networking. Outside interests include examining French PhDs.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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

2 Active
10 Finished

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 › Transfer (professional training)

Newton Fund - Zero Peak Building Energy Design for India

Davenport, J.

1/11/17 → 31/10/20

Project: Research council

SC-square

Davenport, J.

1/07/16 → 31/08/18

Project: EU Commission

outreach

researchers

history

methodology

algebra

GW4 Coding

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

2/02/16 → 30/06/16

Project: Research-related funding

Global Mobility Scheme - Complexity Theory

Davenport, J.

1/01/15 → 1/09/15

Project: Research-related funding › International Relations Office Funding

Research Output 1979 2019

The Institute of Coding: Addressing the UK Digital Skills Crisis

Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Computing Education Practice '19. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

Fast matrix operations in computer algebra

Tonks, Z., Sankaran, G. & Davenport, J. H., 9 Nov 2018, Proceedings - 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017. Ida, T., Jebelean, T., Petcu, D., Watt, S. M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 67-70 4 p. 8531267

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Language Choice in Introductory Programming Courses at Australasian and UK Universities

Simon, Mason, R., Crick, T., Davenport, J. & Murphy, E., 24 Feb 2018, p. 852-857. 6 p.

Research output: Contribution to conference › Paper

programming

programming language

language

Machine-Assisted Proofs

Cruz-Filipe, L., Davenport, J., Helfgott, H., Maynard, J., Poonen, B. & Huu Tiep, P., 2018, International Congress of Mathematicians - ICM 2018. World Scientific

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

Methodologies of Symbolic Computation

Davenport, J., Sep 2018, Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings. Wang, D., Fleuriot, J. & Calmet, J. (eds.). Cham: Springer International Publishing, p. 19-33 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11110 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Algebra

Computational complexity