93,728 profiles ranked live

Back to the boardThe board
Platforms not linked yet.

Thomas Callister Hales

✓ Source-basedfalling

American mathematician

United StatesAcademicsBorn 1958 · age 68
CompareClaim
Fame49.7
Momentum2.4
Languages15
In century#46,889

Thomas Callister Hales is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification. In representation theory he is known for his work on the Langlands program and the proof of the fundamental lemma over the group Sp(4).

Also inDeutsch

Photos 1

Awards 2

2013Fellow of the American Mathematical Society
2007David P. Robbins Prize

Connected to Thomas 6

Doron ZeilbergerAlso won David P. Robbins PrizeYuval PeresAlso won David P. Robbins PrizeNeil SloaneAlso won David P. Robbins PrizeAlexander RazborovAlso won David P. Robbins PrizeAubrey de GreyAlso won David P. Robbins PrizeMike PatersonAlso won David P. Robbins Prize

About this person

Thomas Callister Hales is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification. In representation theory he is known for his work on the Langlands program and the proof of the fundamental lemma over the group Sp(4). In discrete geometry, he settled the Kepler conjecture on the density of sphere packings, the honeycomb conjecture, and the dodecahedral conjecture. In 2014, he announced the completion of the Flyspeck Project, which formally verified the correctness of his proof of the Kepler conjecture.

Country
United States
Category
Academics
Type
Academic
Status
living
Dates
Born 1958 · age 68
Written about in
15 languages

Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.