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
CDT in Accountable, Responsible and Transparent Artificial Intelligence

https://orcid.org/0000-0002-3982-7545

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

1 WEST 4.53

Accepting PhD Students

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

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

Newton Fund - Zero Peak Building Energy Design for India

Davenport, J.

1/11/17 → 31/10/20

Project: Research council

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

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

Research Output 1979 2019

47 Conference contribution
36 Article
25 Chapter
13 Paper
10 More

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 proceeding › Conference contribution

Open Access

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 proceeding › Conference contribution

Open Access

File

Regular cylindrical algebraic decomposition

Davenport, J., Locatelli, A. & Sankaran, G., 27 Jun 2019, (Accepted/In press) In : Journal of the London Mathematical Society.

Research output: Contribution to journal › Article

Teaching of computing to mathematics students: Programming and discrete mathematics

Betteridge, J., Davenport, J. H., Freitag, M., Heijtljes, W., Kynaston, S., Sankaran, G. & Traustason, G., 9 Jan 2019, Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 12

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

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

Datasets

Data for 'Fast Matrix Operations in Computer Algebra'

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

DOI: 10.15125/BATH-00460

Dataset

Dataset for GW4 "First Programming Courses" project

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

DOI: 10.15125/BATH-00246

Dataset

Metaphors of Identity: Focus Groups

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

DOI: 10.15125/BATH-00079

Dataset

Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), University of Bath, 2015

DOI: 10.15125/BATH-00071

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

DOI: 10.15125/BATH-00076

Dataset