Reid William Barton (born May 6, 1983) is a mathematician and also one of the most successful performers in the International Science Olympiads.
[1] Subsequently, he worked at Akamai Technologies with computer scientist Ramesh Sitaraman to build one of the earliest video performance measurement systems that have since become a standard in industry.
[3] 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.
[4] Afterwards, he did research as a post-doctoral fellow at Pittsburgh and Carnegie Mellon University and works on formalizing mathematics with Lean.
In 2001 he finished first with 580 points out of 600, 55 ahead of his nearest competitor,[11] the largest margin in IOI history at the time.