Back توماس كوليستير هيلز Arabic توماس كوليستير هيلز ARZ Thomas Hales German Thomas Callister Hales English Thomas Callister Hales Spanish Thomas Hales French Thomas Callister Hales HT Thomas Hales Hungarian Thomas Hales Dutch Thomas Hales Polish
Thomas Callister Hales (San Antonio, 4 giugno 1958) è un matematico statunitense attivo nei settori della teoria delle rappresentazioni, della geometria discreta e della verifica formale.
Nella teoria delle rappresentazioni è noto per il suo lavoro sul programma Langlands e per la dimostrazione del lemma fondamentale sul gruppo simplettico Sp(4) (molte delle sue idee furono incorporate nella dimostrazione finale del lemma fondamentale, dovuta a Ngô Bảo Châu). Nella geometria discreta, stabilì la congettura di Keplero sulla densità degli impacchettamenti di sfere e la congettura del nido d'ape. Nel 2014 ha annunciato il completamento del Progetto Flyspeck, che ha verificato formalmente la correttezza della sua dimostrazione della congettura di Keplero.