Regular biography
David Harvey is a mathematician and computer scientist known for his work in algorithm design, particularly in the areas of number theory, algebraic geometry, and computational mathematics. He has made significant contributions to the development of efficient algorithms for polynomial multiplication, integer multiplication, and the computation of mathematical constants such as Bernoulli numbers. His research often intersects with theoretical computer science, and he has published extensively in top-tier journals and conferences. Harvey has also been involved in collaborative projects, including work on the computation of L-series and Hasse-Witt matrices of hyperelliptic curves. He has presented at major conferences such as the International Symposium on Symbolic and Algebraic Computation (ISSAC) and the Algorithmic Number Theory Symposium (ANTS).