Thomas Callister Hales
(1958-)
American mathematician
menu
Add to my lists
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
Parents
0
Add parent
Siblings
0
Add sibling
Other family members
0
Add family member
Connections
Friends & associates
Add friend/associate
Thomas Callister Hales dating history
0Children
0No records found.
Scholars
Please be the first to contribute to this page!
Family
Parents
0
Add parent
Siblings
0
Add sibling
Children
0
Add child
Other family members
0
Add family member
Friends & associates
Add friend/associate
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
Lists
24
Facts and figures
7
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
