David H. Bailey
From Wikipedia, the free encyclopedia
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.[1] He worked for 14 years as a computer scientist at NASA Ames Research Center, but since 1998 has been the Chief Technologist of the Computational Research Department at the Lawrence Berkeley National Laboratory.
Bailey is perhaps best known as a co-author (with Peter Borwein and Simon Plouffe) of a 1996 paper that presented a new formula for π (pi). This Bailey-Borwein-Plouffe formula permits one to calculate binary or hexadecimal digits of pi beginning at an arbitrary position, by means of a simple algorithm. The formula was discovered by Simon Plouffe using a computer program written by Bailey. More recently (2001 and 2002), Bailey and Richard Crandall showed that the existence of this and similar formulas has implications for the long-standing question of "normality" -- whether and why the digits of certain mathematical constants (including pi) appear "random" in a particular sense.
Bailey is a long-time collaborator with Jonathan Borwein (Peter's brother). They are co-authors of numerous papers and three books and on experimental mathematics.
Bailey also does research in numerical analysis and parallel computing. He has published studies on the fast Fourier transform, high-precision arithmetic, and the PSLQ algorithm (used for integer relation detection). He is a co-author of the NAS Benchmarks, which are used to assess and analyze the performance of parallel scientific computers. He currently is a co-leader (with Robert Lucas of USC/ISI) of the Performance Engineering Research Institute, a research consortium to study high-end computer performance, funded by the SciDAC program of the U.S. Department of Energy.
Bailey is a recipient of the Sidney Fernbach award from the IEEE Computer Society, as well as the Chauvenet Prize and the Hasse Prize from the Mathematical Association of America. In 2005 he was a nominee for the $100,000 Edge of Computation Science Prize.