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
  • A Global Survey of Introductory Programming Courses

    Mason, R., Simon, Becker, B. A., Crick, T. & Davenport, J. H., 20 Mar 2024, SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education. U. S. A.: Association for Computing Machinery, p. 799-805 7 p. (SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education; vol. 1).

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

    Open Access
    1 Citation (SciVal)
  • A Poly-algorithmic Approach to Quantifier Elimination

    Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 44-51 8 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).

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

  • Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes

    Prickett, T., Crick, T., Davenport, J. H., Bowers, D. S., Hayes, A. & Irons, A., 3 Jul 2024, ITiCSE 2024 - Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education. U. S. A.: Association for Computing Machinery, p. 346-352 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 1).

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

  • Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition

    John, R. & Davenport, J., 17 Jul 2024, Mathematical Software – ICMS 2024 - 8th International Conference, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). Cham, Switzerland: Springer, Cham, p. 176-185 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14749 LNCS).

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

  • So the problem has poor complexity: what next?

    Davenport, J. H., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 5-10 6 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).

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