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.
- 1 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 › Transfer (professional training)
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
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 MachineryResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
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. 8531267Research 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
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 ScientificResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
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
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 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Davenport, J. (Creator), University of Bath, Mar 2017
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: 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 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
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