1\documentclass[11pt]{article}
2\usepackage{lmodern}
3\usepackage[letterpaper,margin=0.8in]{geometry}
4\usepackage{enumitem}
5\setlist{nosep,leftmargin=1.2em}
6\pagestyle{empty}
7\setlength{\parindent}{0pt}
8\newcommand{\heading}[1]{\par\medskip{\large\bfseries #1}\par\smallskip\hrule\smallskip}
9\newcommand{\entry}[4]{\par\textbf{#1}\hfill #2\par\textit{#3}\hfill\textit{#4}\par}
10\begin{document}
11\begin{center}
12 {\LARGE\bfseries Terence Chi-Shen Tao}\par\smallskip
13 Born 17 July 1975, Adelaide, South Australia \textbullet{} Los Angeles, California
14\end{center}
15\heading{Education}
16\entry{Princeton University}{}{PhD; dissertation \emph{Three regularity results in harmonic analysis}, under Elias Stein}{1992 -- 1996}
17\entry{Flinders University}{}{Bachelor of Science with honours, 1991; Master of Science, 1992}{1989 -- 1992}
18\heading{Experience}
19\entry{University of California, Los Angeles}{Los Angeles, California}{Full professor from 1999; James and Carol Collins Chair in Mathematics}{from 1996}
20\begin{itemize}
21 \item With Ben Green, 2004: the prime numbers contain arithmetic progressions of any length (the Green--Tao theorem), by extending Szemer\'edi's theorem through a transference principle.
22 \item With Emmanuel Cand\`es and Justin Romberg: conditions under which a convex optimisation recovers the sparsest solution of an underdetermined linear system (compressed sensing). The signal-processing work shortened MRI scans.
23 \item With Van Vu, 2010: the eigenvalues of large non-symmetric random matrices spread uniformly over a disk, for any fixed distribution of the entries.
24 \item 2015: the Erd\H{o}s discrepancy problem resolved; 2019: almost all Collatz orbits shown to attain almost bounded values.
25\end{itemize}
26\entry{Collaboration with Colliander, Keel, Staffilani and Takaoka}{}{Dispersive partial differential equations}{2001 -- 2010}
27\begin{itemize}
28 \item Well-posedness of weak solutions for Schr\"odinger and KdV equations; long-time existence and scattering for a power-law Schr\"odinger equation in three dimensions.
29\end{itemize}
30\heading{Projects}
31\textbf{Polynomial Freiman--Ruzsa conjecture} --- proved with Timothy Gowers, Ben Green and Freddie Manners; its formalisation in the Lean proof assistant, opened to volunteers in November 2023, was completed in about three weeks. \textit{2023}\par\smallskip
32\textbf{Equational Theories Project} --- every implication among the 4,694 simplest equational laws on magmas, 22,028,942 in all, settled by human-written and automatically generated proofs checked in Lean. \textit{2024 -- 2025}
33\heading{Fields}
34\textbf{Mathematics:} partial differential equations, combinatorics, harmonic analysis, additive number theory\par
35\textbf{Also:} compressed sensing, random matrices, machine-assisted proof
36\end{document}
37
Terence Chi-Shen Tao
Born 17 July 1975, Adelaide, South Australia • Los Angeles, California
Education
Princeton University
PhD; dissertation Three regularity results in harmonic analysis, under Elias Stein 1992 – 1996
Flinders University
Bachelor of Science with honours, 1991; Master of Science, 1992 1989 – 1992
Experience
University of California, Los Angeles Los Angeles, California
Full professor from 1999; James and Carol Collins Chair in Mathematics from 1996
• With Ben Green, 2004: the prime numbers contain arithmetic progressions of any length (the Green–
Tao theorem), by extending Szemerédi’s theorem through a transference principle.
• With Emmanuel Candès and Justin Romberg: conditions under which a convex optimisation recovers
the sparsest solution of an underdetermined linear system (compressed sensing). The signal-processing
work shortened MRI scans.
• With Van Vu, 2010: the eigenvalues of large non-symmetric random matrices spread uniformly over a
disk, for any fixed distribution of the entries.
• 2015: the Erdős discrepancy problem resolved; 2019: almost all Collatz orbits shown to attain almost
bounded values.
Collaboration with Colliander, Keel, Staffilani and Takaoka
Dispersive partial differential equations 2001 – 2010
• Well-posedness of weak solutions for Schrödinger and KdV equations; long-time existence and scatter-
ing for a power-law Schrödinger equation in three dimensions.
Projects
Polynomial Freiman–Ruzsa conjecture — proved with Timothy Gowers, Ben Green and Freddie
Manners; its formalisation in the Lean proof assistant, opened to volunteers in November 2023, was
completed in about three weeks. 2023
Equational Theories Project — every implication among the 4,694 simplest equational laws on mag-
mas, 22,028,942 in all, settled by human-written and automatically generated proofs checked in Lean.
2024 – 2025
Fields
Mathematics: partial differential equations, combinatorics, harmonic analysis, additive number theory
Also: compressed sensing, random matrices, machine-assisted proof