James H. Davenport

Last updated

James Davenport
James Davenport(academic).jpg
James Davenport in 2001
Born
James Harold Davenport

(1953-09-26) 26 September 1953 (age 70)[ citation needed ]
Education Marlborough College
Alma mater University of Cambridge (BA, PhD)
Awards National Teaching Fellowship (2014)
Scientific career
Fields Cryptography
Computer algebra systems [1]
Institutions University of Bath
Thesis On the integration of algebraic functions  (1979)
Doctoral advisor John ffitch
Arthur Norman [2]
Website people.bath.ac.uk/masjhd OOjs UI icon edit-ltr-progressive.svg

James Harold Davenport (born 26 September 1953) is a British computer scientist who works in computer algebra. Having done his PhD and early research at the Computer Laboratory, University of Cambridge, he is the Hebron and Medlock Professor of Information Technology at the University of Bath in Bath, England. [1] [3]

Contents

Education

Davenport was educated at Marlborough College, and was then a student at Trinity College, Cambridge. [4] He was awarded a Bachelor of Arts degree in 1974, which was converted to a Master of Arts degree in 1978, and a Master of Mathematics in 2011. He was awarded a PhD in 1980. [2] [5]

Career and research

In 1969, the team that developed the automated teller machine in the United Kingdom at IBM Hursley used parts from that project to build an IBM School Computer. It was a community outreach project, and it went on tour. When it came to Marlborough College, Davenport, aged 16, discovered that, although it was ostensibly a six-digit computer, the microcode had access to a 12-digit internal register to do multiply/divide. He used this to implement Draim's algorithm from his father Harold Davenport's book, The Higher Arithmetic, and tested eight-digit numbers for primality. [6]

Between school and university, Davenport worked in a government laboratory for nine months, again writing and using multiword arithmetic, but also using number theory to solve a problem in hashing, which was published. He was at IBM Yorktown Heights for a year, and returned to Cambridge as a Research Fellow. He went to Grenoble for a year, before taking a post at the University of Bath in 1983. [6]

Davenport is an author of a textbook about computer algebra and of many papers. [7] [8] [9] [10] He has been Project Chair of the European OpenMath Project and its successor Thematic Network, with responsibilities for aligning OpenMath and MathML, producing Content Dictionaries and supervised a Reduce-based OpenMath/MathML translator, and was Treasurer of the European Mathematical Trust. He was Founding Editor-in-Chief of the London Mathematical Society's Journal of Computation and Mathematics . [11]

Awards and honours

Davenport was awarded the Honorary Degree of Doctor of Science in September 2019 by the West University of Timişoara, Romania. This was in recognition of his pioneering and ongoing work in computer algebra systems and theory of symbolic computation.

In 2014, Davenport was awarded a National Teaching Fellowship by the Higher Education Academy.

He was awarded the Bronze Medal of the University of Helsinki in 2001.

From January to June 2017 Davenport was a Fulbright CyberSecurity Scholar at New York University, [12] and maintained a blog [13] over the same period.

Personal life

Davenport is the son of the mathematician Harold Davenport.

Related Research Articles

<span class="mw-page-title-main">Floating-point arithmetic</span> Computer approximation for real numbers

In computing, floating-point arithmetic (FP) is arithmetic that represents subsets of real numbers using an integer with a fixed precision, called the significand, scaled by an integer exponent of a fixed base. Numbers of this form are called floating-point numbers. For example, 12.345 is a floating-point number in base ten with five digits of precision:

Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline.

A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The development of the computer algebra systems in the second half of the 20th century is part of the discipline of "computer algebra" or "symbolic computation", which has spurred work in algorithms over mathematical objects such as polynomials.

<span class="mw-page-title-main">David H. Bailey (mathematician)</span> American mathematician (born 1948)

David Harold Bailey is a mathematician and computer scientist. He received his B.S. in mathematics from Brigham Young University in 1972 and his Ph.D. in mathematics from Stanford University in 1976. He worked for 14 years as a computer scientist at NASA Ames Research Center, and then from 1998 to 2013 as a Senior Scientist at the Lawrence Berkeley National Laboratory. He is now retired from the Berkeley Lab.

<span class="mw-page-title-main">James H. Wilkinson</span>

James Hardy Wilkinson FRS was a prominent figure in the field of numerical analysis, a field at the boundary of applied mathematics and computer science particularly useful to physics and engineering.

Axiom is a free, general-purpose computer algebra system. It consists of an interpreter environment, a compiler and a library, which defines a strongly typed hierarchy.

In computer science, arbitrary-precision arithmetic, also called bignum arithmetic, multiple-precision arithmetic, or sometimes infinite-precision arithmetic, indicates that calculations are performed on numbers whose digits of precision are limited only by the available memory of the host system. This contrasts with the faster fixed-precision arithmetic found in most arithmetic logic unit (ALU) hardware, which typically offers between 8 and 64 bits of precision.

<span class="mw-page-title-main">Klaus Roth</span> British mathematician

Klaus Friedrich Roth was a German-born British mathematician who won the Fields Medal for proving Roth's theorem on the Diophantine approximation of algebraic numbers. He was also a winner of the De Morgan Medal and the Sylvester Medal, and a Fellow of the Royal Society.

<span class="mw-page-title-main">Harold Davenport</span> English mathematician

Harold Davenport FRS was an English mathematician, known for his extensive work in number theory.

Mathematical software is software used to model, analyze or calculate numeric, symbolic or geometric data.

Jeffrey Clark Lagarias is a mathematician and professor at the University of Michigan.

<span class="mw-page-title-main">Bryan John Birch</span> British mathematician (born 1931)

Bryan John Birch FRS is a British mathematician. His name has been given to the Birch and Swinnerton-Dyer conjecture.

FriCAS is a general purpose computer algebra system with a strong focus on mathematical research and development of new algorithms. It comprises an interpreter, a compiler and a still-growing library of more than 1,000 domains and categories.

<span class="mw-page-title-main">Computer algebra</span> Scientific area at the interface between computer science and mathematics

In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects. Although computer algebra could be considered a subfield of scientific computing, they are generally considered as distinct fields because scientific computing is usually based on numerical computation with approximate floating point numbers, while symbolic computation emphasizes exact computation with expressions containing variables that have no given value and are manipulated as symbols.

<span class="mw-page-title-main">PARI/GP</span> Computer algebra system

PARI/GP is a computer algebra system with the main aim of facilitating number theory computations. Versions 2.1.0 and higher are distributed under the GNU General Public License. It runs on most common operating systems.

<span class="mw-page-title-main">Gopal Prasad</span> Indian-American mathematician

Gopal Prasad is an Indian-American mathematician. His research interests span the fields of Lie groups, their discrete subgroups, algebraic groups, arithmetic groups, geometry of locally symmetric spaces, and representation theory of reductive p-adic groups.

<span class="mw-page-title-main">Michael J. Larsen</span> American mathematician

Michael Jeffrey Larsen is an American mathematician, a distinguished professor of mathematics at Indiana University Bloomington.

References

  1. 1 2 James H. Davenport publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  2. 1 2 James H. Davenport at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  3. James H. Davenport publications indexed by the Scopus bibliographic database. (subscription required)
  4. Marlborough College Register (11th ed.). 1997. p. 492.
  5. Davenport, James Harold (1979). On the integration of algebraic functions. cam.ac.uk (PhD thesis). University of Cambridge. OCLC   797099982. EThOS   uk.bl.ethos.453038.
  6. 1 2 "Computing Reviews, Davenport, James". 1 October 2019. Archived from the original on 1 October 2019.
  7. Davenport, James Harold. On the integration of algebraic functions. Berlin ; New York : Springer, 1981. 197 p. ; 25 cm. ISBN   978-0-387-10290-0 (paperback)
  8. Computer algebra : systems and algorithms for algebraic computation / J.H. Davenport, Y. Siret, E. Tournier ; translated from the French by A. Davenport and J.H. Davenport. London : San Diego : Academic Press, 1988. xix, 267 p. : ill. ; 24 cm. ISBN   978-0-12-204230-0
  9. EUROCAL ’87 : European Conference on Computer Algebra, Leipzig, GDR, June 2–5, 1987 : proceedings / J.H. Davenport (ed.). Berlin ; New York : Springer-Verlag, c1989. viii, 499 p. : ill. ; 25 cm. ISBN   978-0-387-51517-5 (New York : acid-free paper) ISBN   978-3-540-51517-3 (Berlin : acid-free paper)
  10. Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003 : proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.).
  11. London Mathematical Society Journal of Computation and Mathematics: Editorial; Aims and Scope Archived 19 December 2008 at the Wayback Machine
  12. "James Davenport's Home Page".
  13. http://staff.bath.ac.uk/masjhd/blogplain.html