Thomas Callister Hales

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.

✓ Public Identity Verified ✓ LinkedIn Profile Mapped ✓ Public Records Indexed ✓ Zero-Trace View Enabled

Cecilia Phalen Abbott First Lady of Texas since 2015 Anderson Lee Aldrich Mass shooting in Colorado, U.S. Helen Cloud Austin American social worker Terry L. Bellamy Public servant Ruth Bingaman American musician Michael Brame American linguist known for recursive categorical syntax Elsa Salazar Cade American entomologist María del Carmen Calvillo Verified Profile