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.

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):

  • SDG 4 - Quality Education

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

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Artificial Conflict Sampling for Real Satisfiability Problems

    Davenport, J. H. & Uncu, A. K., 25 May 2023, 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Buchberger, B., Marin, M., Negru, V. & Zaharie, D. (eds.). United States: IEEE, p. 55-58 4 p. (Proceedings of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • Challenges and opportunities of teaching cybersecurity in UK university computing programmes

    Prickett, T., Yang, L., Irons, A., Miller, K., Brooke, P., Crick, T., Hayes, A., Davenport, J., English, R., Maguire, J., Bechkoum, K. & Jones, A., 16 May 2023, Cybersecurity teaching in higher education. Sikos, L. F. & Haskell-Dowland, P. (eds.). 1 ed. Cham, Switzerland: Springer, Cham, p. 1-36 36 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

    2 Citations (SciVal)
  • Iterated Resultants in CAD

    Davenport, J. H. & England, M., 15 Aug 2023, Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023). Abraham, E. & Sturm, T. (eds.). CEUR Workshop Proceedings, Vol. 3455. p. 54-60 7 p. (CEUR Workshop Proceedings).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
  • Lazard-style CAD and Equational Constraints

    Davenport, J. H., Nair, A. S., Sankaran, G. K. & Uncu, A. K., 24 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). Association for Computing Machinery, p. 218-226 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    1 Citation (SciVal)
  • Proving an Execution of an Algorithm Correct?

    Davenport, J. H., 28 Aug 2023, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Dubois, C. & Kerber, M. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, p. 255-269 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14101 LNAI).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding