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.
[13] He teamed with Tomek Czajka and John Dethridge to win the internet problem solving contest in 2015.