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, 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.
- 6 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
Engineering and Physical Sciences Research Council
1/01/21 → 31/03/25
Project: Research council
-
Newton Fund - Zero Peak Building Energy Design for India
Engineering and Physical Sciences Research Council
1/11/17 → 31/10/21
Project: Research council
-
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
-
Cybersecurity Education and Formal Methods
Davenport, J. H. & Crick, T., 2021, Formal Methods – Fun for Everybody - First International Workshop, FMFun 2019, Revised Selected Papers. Cerone, A. & Roggenbach, M. (eds.). Cham, Switzerland: Springer, p. 159-172 14 p. (Communications in Computer and Information Science; vol. 1301 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Ábrahám, E., Davenport, J. H., England, M. & Kremer, G., 28 Feb 2021, In: Journal of Logical and Algebraic Methods in Programming. 119, 100633.Research output: Contribution to journal › Article › peer-review
Open Access -
Developing a Computer Science Education Community of Practice for Early-Career Academics in the UK
Crick, T., Davenport, J., Hayes, A., Irons, A. & Prickett, T., 26 Jun 2021.Research output: Contribution to conference › Poster › peer-review
-
Increasing the Value of Professional Body Computer Science Degree Accreditation
Irons, A., Crick, T., Davenport, J. H. & Prickett, T., 3 Mar 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. March 2021 ed. Association for Computing Machinery, p. 1336-1336 1 p. (SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
On the job teaching for on the job learners: An insight into PGT degree apprenticeships and on-line learning.
Hayes, A., Davenport, J., Wright, M., Hyde, J., Patil, B., Keating, C., Lyons, Z. & Chinery, A., 5 May 2021.Research output: Contribution to conference › Paper › peer-review
Datasets
-
Data for 'Fast Matrix Operations in Computer Algebra'
Tonks, Z. (Creator), Davenport, J. (Editor) & Sankaran, G. (Editor), 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), Hayes, A. (Project Member) & Crick, T. (Creator), University of Bath, 2016
DOI: 10.15125/BATH-00246
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
-
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