Timothy Trudgian

Timothy Trudgian
Born	Timothy Scott Trudgian Brisbane, Australia
Alma mater	University of Oxford Australian National University
Scientific career
Fields	Mathematics
Institutions	Merton College, Oxford Australian National University University of Lethbridge University of New South Wales
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]

Education and Career

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 significant contributions to the field of (analytic) number theory. His research includes work on Riemann zeta function, distribution of primes, and primitive root modulo n. One of his notable achievements is proving that the Riemann hypothesis is true up to 3 × 10^12.[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]

Recognition

Trudgian is a Fellow of the Australian Mathematical Society, elected in 2023.[6]

References

1. "Professor Timothy Trudgian". Retrieved 2025-02-01.
2. Timothy Trudgian (2010). Further results on Gram's Law (Thesis). University of Oxford.
3. Dave Platt; Timothy Trudgian (2021). "The Riemann hypothesis is true up to 3 × 10^12". Bulletin of the London Mathematical Society. 53 (3): 792–797. arXiv:2004.09765. doi:10.1112/blms.12460.
4. "Analytic Number Theory Exponent Database". Retrieved 2025-02-01.
5. Tao, Terence; Trudgian, Timothy; Yang, Andrew (2025). "New exponent pairs, zero density estimates, and zero additive energy estimates: a systematic approach". arXiv:2501.16779 [math.NT].
6. Curriculum vitae