Thomas Callister Hales
(1958-)
American mathematician
About
Jump to
Thomas Callister Hales (born June 4, 1958) 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) (many of his ideas were incorporated into the final proof, due to Ngô Bảo Châu). In discrete geometry, he settled the Kepler conjecture on the density of sphere packings and the honeycomb conjecture. In 2014, he announced the completion of the Flyspeck Project, which formally verified the correctness of his proof of the Kepler conjecture.
Key details
edit section
| Born |
4 June 1958 (age 67) San Antonio, Texas
|
| Zodiac | Gemini |
| Tags | Add tag |
Partner
Family members
Romantic interests
Friends & associates
Scholars
Please be the first to contribute to this page!
Missing information for Thomas Callister Hales
- missing gender
- missing height
- missing hair color
- missing eye color
- missing ethnicity
- add banner photo
- add photos to gallery
- missing current partner
Similar profiles
13
Activity
Top contributors today
Be the first to contribute today
Tags
Featured contributors
Couples by country
USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · MexicoCouples by decade
1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020sADVERTISEMENT
ADVERTISEMENT
