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.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
- 1 Similar Profiles
Network
-
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
Natarajan, S., Coley, D., Davenport, J., McCullen, N. & Walker, I.
Engineering and Physical Sciences Research Council
1/11/17 → 31/10/22
Project: Research council
-
GW4 ISAMBARD2 EPSRC Tier-2 High Performance Computing Services
Engineering and Physical Sciences Research Council
1/11/21 → 31/03/22
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
-
A National Mentoring and Buddying Pilot Scheme for UK Early Career CS Academics
Crick, T., Davenport, J. H., Hayes, A., Irons, A., Prickett, T. & Payne, S., 31 Jul 2022, ITiCSE 2022 - Proceedings of the 27th ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, Vol. 2. p. 630-630 1 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Chapter in a published conference proceeding
-
Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK
Crick, T., Davenport, J. H., Hanna, P., Hayes, A., Irons, A., Miller, K., Prickett, T., Ward, R., Allen, B., Patil, B. & Payne, S., 6 Jan 2022, Proceedings - 6th Conference on Computing Education Practice, CEP 2022. English, R. & Stewart, C. (eds.). New York, U. S. A.: Association for Computing Machinery, p. 21-24 4 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Chapter in a published conference proceeding
-
The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
Bradford, R., Davenport, J. H., England, M., Sadeghimanesh, A. & Uncu, A., 12 Jan 2022, In: ACM Communications in Computer Algebra. 55, 3, p. 107-111 5 p.Research output: Contribution to journal › Article › peer-review
-
Cybersecurity Education and Formal Methods
Davenport, J. H. & Crick, T., 11 Mar 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 › Chapter in a published conference proceeding
-
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
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 chapter "Quality and Bias"
Davenport, J. (Creator), University of Bath, 10 Mar 2022
DOI: 10.15125/BATH-01099
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 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Davenport, J. (Creator), University of Bath, Mar 2017
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