Projects per year

## 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.

- 2 Similar Profiles

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

## Projects 2009 2020

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

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

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

### Global Mobility Scheme - Complexity Theory

1/01/15 → 1/09/15

Project: Research-related funding › International Relations Office Funding

## Research Output 1979 2019

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

### Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 3 Apr 2019, In : Mathematics in Computer Science.Research output: Contribution to journal › Article

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

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

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

### Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'

Davenport, J. (Creator), University of Bath, Mar 2017

Dataset

## Thesis

## Advances in Cylindrical Algebraic Decomposition

Author: Wilson, D., 24 Dec 2014Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral Thesis › PhD

## Computational Verification of Security Requirements

Author: Bibu, G. D., 19 Nov 2014Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral Thesis › PhD

## Evolutionary Innovations and Dynamics in Wagner's Model of Genetic Regulatory Networks

Author: Wang, Y., 18 Apr 2016Supervisor: Bryson, J. (Supervisor), Priest, N. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral Thesis › PhD

## Integrated-Key Cryptographic Hash Functions

Author: Al-Kuwari, S., 1 Sep 2011Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral Thesis › PhD

## On the regularity of cylindrical algebraic decompositions

Author: Locatelli, A., 15 Apr 2016Supervisor: Sankaran, G. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral Thesis › PhD