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.
[2] 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 × 1012.
[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.