Timothy Trudgian
From Wikipedia, the free encyclopedia
1984 (age 40–41)
Timothy Trudgian | |
|---|---|
| Born | Timothy Scott Trudgian 1984 (age 40–41) Brisbane, Australia |
| Alma mater | |
| Scientific career | |
| Fields | Mathematics |
| Institutions | |
| Thesis | Further results on Gram's Law (2010) |
| Doctoral advisor | Roger Heath-Brown |
Timothy Trudgian is an Australian mathematician specializing in number theory and related fields. He is known for his work on Riemann zeta function, analytic number theory, and distribution of primes. He currently is a Professor at the University of New South Wales (Canberra).[1]
Trudgian completed his BSc (Hons) at the Australian National University in December 2005, then his Ph.D. from the University of Oxford in June 2010 under the supervision of Roger Heath-Brown.[1] His dissertation was titled Further results on Gram's Law.[2]
Research
Trudgian has made contributions to the field of analytic number theory. His research includes work on the Riemann zeta function, the distribution of primes, and primitive roots modulo n. In joint work with Dave Platt, he verified that the Riemann hypothesis is true up to imaginary height 3 trillion.[3] In 2024, together with Terence Tao and Andrew Yang, Trudgian published an on-going database of known theorems for various exponents appearing in analytic number theory, named Analytic Number Theory Exponent Database (ANTEDB), which could be used in the future for Lean formalization.[4][5]