Quattro medaglie d'oro alle Olimpiadi Internazionali della Matematica hanno consacrato Reid Barton come figura di spicco nella matematica competitiva. Nato ad Arlington nel 1983, ha intrapreso un percorso accademico che ha integrato la programmazione computazionale d'élite con la ricerca teorica avanzata, ottenendo infine un dottorato in matematica all'Università di Harvard nel 2019 sotto la supervisione di Michael J. Hopkins.
Sviluppo precoce e iniziative di programmazione
Barton ha iniziato gli studi accademici in giovane età, frequentando corsi di chimica e fisica alla Tufts University durante la scuola elementare. Già in terza media, ha collaborato con lo scienziato del MIT Charles E. Leiserson al progetto CilkChess. La sua formazione tecnica si è estesa all'impiego presso Akamai Technologies, dove ha lavorato con Ramesh Sitaraman alla creazione di sistemi di misurazione delle prestazioni video che sono diventati standard del settore.
Successo alle Olimpiadi e competizioni computazionali
Barton ha il primato di essere il primo studente ad aggiudicarsi quattro medaglie d'oro alle Olimpiadi Internazionali della Matematica. Nel 2001, ha ottenuto un punteggio perfetto a Washington, D.C., condividendo il primo posto con Gabriel Carroll, Xiao Liang e Zhang Zhiqiang. La sua performance alle Olimpiadi Internazionali di Informatica è stata altrettanto notevole: ha vinto due medaglie d'oro e ha stabilito un margine di vittoria record nel 2001. Inoltre, ha partecipato all'ACM International Collegiate Programming Contest come parte del team del MIT, che si è classificato al secondo e quinto posto.
Risultati universitari e ricerca
Durante gli anni di laurea triennale, Barton è stato nominato Putnam Fellow quattro volte tra il 2001 e il 2004, classificandosi tra i primi cinque concorrenti della William Lowell Putnam Competition. Ha contribuito alla vittoria del MIT nel titolo a squadre sia nel 2003 che nel 2004. Dopo aver completato il dottorato, ha condotto ricerche post-dottorato presso la Carnegie Mellon University e l'Università di Pittsburgh. I suoi interessi di ricerca includono la formalizzazione della matematica tramite il software Lean. Nel 2021 è entrato a far parte del comitato per la International Mathematical Olympiad Grand Challenge.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Riconoscimenti accademici
L'American Mathematical Society e la Mathematical Association of America hanno assegnato a Barton il Morgan Prize nel 2004. Questo riconoscimento ha fatto seguito ai suoi contributi accademici allo studio delle densità di impacchettamento. Oltre alla sua ricerca, è stato istruttore per il Mathematical Olympiad Summer Program, assistendo gli studenti delle scuole superiori nella preparazione a concorsi accademici internazionali.
Brevi fatti
- Nato: 1983, Arlington - Università di laurea: Massachusetts Institute of Technology (MIT) - Università di dottorato: Università di Harvard - Riconoscimento principale: Morgan Prize (2004) - Medaglie d'oro IMO: 4 - Putnam Fellow: 4 volte (2001–2004)
Domande frequenti
### Qual è l'attuale area di ricerca di Reid Barton?
Lavora alla formalizzazione della matematica tramite il software Lean.
### Ha partecipato a gare di programmazione dopo gli studi universitari?
Sì, ha fatto squadra con Tomek Czajka e John Dethridge vincendo il concorso di risoluzione di problemi online nel 2015.
.jpg)
