Reid Barton

Quatre médailles d'or aux Olympiades internationales de mathématiques ont fait de Reid Barton une figure marquante des mathématiques de compétition. Né à Arlington en 1983, il a suivi un parcours académique intégrant la programmation informatique de haut niveau et la recherche théorique avancée, obtenant finalement un doctorat en mathématiques à l'Université Harvard en 2019 sous la direction de Michael J. Hopkins.

Développement précoce et initiatives de programmation

Barton a commencé ses études universitaires très tôt, suivant des cours de chimie et de physique à l'Université Tufts pendant ses études primaires. En huitième année, il a collaboré avec le scientifique du MIT Charles E. Leiserson sur le projet CilkChess. Sa formation technique s'est prolongée par un emploi chez Akamai Technologies, où il a travaillé avec Ramesh Sitaraman à la construction de systèmes de mesure de la performance vidéo qui sont devenus des standards industriels.

Succès aux olympiades et concours de programmation

Barton a la distinction d'être le premier étudiant à obtenir quatre médailles d'or aux Olympiades internationales de mathématiques. En 2001, il a obtenu un score parfait à Washington, D.C., partageant la première place avec Gabriel Carroll, Xiao Liang et Zhang Zhiqiang. Ses performances aux Olympiades internationales d'informatique ont été tout aussi remarquables, puisqu'il y a remporté deux médailles d'or et a établi une marge de victoire record en 2001. De plus, il a participé au concours international de programmation collégiale de l'ACM au sein de l'équipe du MIT, qui a terminé à la deuxième et à la cinquième place.

Réalisations universitaires et recherche

Au cours de ses études de premier cycle, Barton a été nommé Putnam Fellow quatre fois entre 2001 et 2004, se classant parmi les cinq meilleurs concurrents du concours William Lowell Putnam. Il a contribué à la victoire du MIT au titre par équipe en 2003 et 2004. Après avoir terminé son doctorat, il a mené des recherches postdoctorales à l'Université Carnegie Mellon et à l'Université de Pittsburgh. Ses intérêts de recherche incluent la formalisation des mathématiques à l'aide du logiciel Lean. En 2021, il a rejoint le comité du Grand Défi des Olympiades internationales de mathématiques.

Reconnaissance académique

L'American Mathematical Society et la Mathematical Association of America ont décerné à Barton le prix Morgan en 2004. Cette distinction fait suite à ses contributions académiques à l'étude des densités d'empilement. Au-delà de ses recherches, il a été instructeur pour le programme d'été des Olympiades de mathématiques, aidant les lycéens à se préparer aux concours académiques internationaux.

Faits rapides

- Naissance : 1983, Arlington - Établissement de premier cycle : Massachusetts Institute of Technology (MIT) - Établissement doctoral : Université Harvard - Prix majeur : Prix Morgan (2004) - Médailles d'or aux IMO : 4 - Putnam Fellow : 4 fois (2001–2004)

Questions posées par les lecteurs

### Quel est le domaine de recherche actuel de Reid Barton ?

Il travaille sur la formalisation des mathématiques à l'aide du logiciel Lean.

### A-t-il participé à des concours de programmation après ses études universitaires ?

Oui, il a fait équipe avec Tomek Czajka et John Dethridge pour remporter le concours de résolution de problèmes sur Internet en 2015.