Hebron & Medlock Professor of Information Technology, Department of Computer Science, University of Bath
James works in what is now perceived to be the frontier between Mathematics and Computer Science. Special areas include Computer Algebra and Cryptography, but also manages High-Performance Computers, and does formal AI standardisation (BSI, CEN-CENELEC and ISO-IEC).
Computer Algebra is the science of getting computers to do mathematical problems. The first applications were in differentiation. My original work was in integration, and in proving that integrals cannot be simplified, and I still work there. I have also done algorithmic and complexity theoretic research in computational geometry. More recently, I have collaborated with Maplesoft and the University of Western Ontario, as well as the Chinese Academy of Sciences in Chongquing, Macquarie University and RWTH Aachen, in computational real algebraic geometry software, some of which has made its way into the commercial Maple product (REF 2014 Impact CaseStudy), other parts are available for download from Bath, and may require downloads from Western Ontario as well. Wrestling with this software complexity, and EPSRC’s requirements for publication of research data, has been an interesting exercise, and I would like to see this process streamlined, and more support given to researchers, and am trying to do that at the University of Bath.
I am also involved in the OpenMath project, producing vendor-neutral framework for exchanging complicated mathematical semantics, and this has made its way into MathML 3, and hence into HTML 5. Again, there are interesting challenges integrating this into commercial products as well. The OpenMath project is unfunded, and hence a challenge in sustainability.
I also look after the University of Bath's High-Performance Computing initiatives (now largely in the Cloud), and our links with the GW4 Isambard computer.
I sit on BSI's Artificial Intelligence committee, convene the "Engineering Aspects" WG of the European AI standardisation committee, and various ISO-IEC groups.
My institutional website
My GitHub page
Follow me on Twitter, @JamesHDavenport
Check out contributions by and mentions of James Harold Davenport on www.software.ac.uk