Reid W. Barton

Barton is the son of two environmental engineers. After Akamai, Barton went to grad school at Harvard to pursue a Ph.D. in mathematics, which he completed in 2019 under the supervision of Michael J. Hopkins. Afterwards, he did research as a post-doctoral fellow at Pittsburgh and Carnegie Mellon University and works on formalizing mathematics with Lean. As of November 2021 he sits on the committee for the International Mathematical Olympiad Grand Challenge (which asks to develop an AI model capable of winning a gold medal from IMO). == Mathematical and programming competitions ==

Barton was the first student to win four gold medals at the International Mathematical Olympiad, Barton is one of seven people to have placed among the five top ranked competitors (who are themselves not ranked against each other) in the William Lowell Putnam Competition four times (2001–2004). Barton was a member of the MIT team which finished second in 2001 and first in 2003 and 2004. the largest margin in IOI history at the time. Barton was a member of the 2nd and 5th place MIT team at the ACM International Collegiate Programming Contest, and reached the finals in the Topcoder Open (2004), semi-finals (2003, 2006), the TopCoder Collegiate Challenge (2004), semi-finals (2006), TCCC Regional finals (2002), and TopCoder Invitational semi-finalist (2002). He teamed with Tomek Czajka and John Dethridge to win the internet problem solving contest in 2015. ==Other accomplishments==

Barton has won the Morgan Prize awarded jointly by the American Mathematical Society and the Mathematical Association of America for his work on packing densities. Barton has taught at various academic Olympiad training programs for high school students, such as the Mathematical Olympiad Summer Program. == Selected publications ==