List of Famous people with last name 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 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.

Charles Andrew Hales is a former American politician who served as the 52nd mayor of Portland, Oregon, from 2013 to 2017. He previously served on the Portland City Council from 1993 to 2002.

R. Stanton Hales, Jr. is an American mathematician and educator, specializing in combinatorics. He was named president of The College of Wooster in 1995, and retired from the College in July 2007. Prior to his appointment as president, he served as vice president for academic affairs at Wooster from 1990 to 1995. He was also a professor in the department of mathematics and computer science. Since 2007, he has been a senior consultant affiliated with Academic Search, Inc. (DC).