Четыре золотые медали на Международной математической олимпиаде сделали Рида Бартона (Reid Barton) выдающейся фигурой в спортивной математике. Родился он в 1983 году в Арлингтоне и прошел академический путь, объединивший элитное компьютерное программирование с передовыми теоретическими исследованиями, в конечном итоге получив докторскую степень по математике в Гарвардском университете в 2019 году под руководством Майкла Дж. Хопкинса (Michael J. Hopkins).
Раннее развитие и инициативы в программировании
Бартон начал академическое обучение очень рано, посещая курсы химии и физики в Университете Тафтса еще в начальной школе. В восьмом классе он сотрудничал с ученым из MIT Чарльзом Э. Лейзерсоном (Charles E. Leiserson) над проектом CilkChess. Его техническая подготовка продолжилась во время работы в Akamai Technologies, где вместе с Рамешем Ситараманом (Ramesh Sitaraman) он создавал системы измерения производительности видео, которые стали отраслевыми стандартами.
Успехи на олимпиадах и компьютерных соревнованиях
Бартон удостоен звания первого студента, завоевавшего четыре золотые медали на Международной математической олимпиаде. В 2001 году в Вашингтоне он набрал максимальный балл, разделив первое место с Гэбриелом Кэрроллом (Gabriel Carroll), Сяо Ляном (Xiao Liang) и Чжан Чжицяном (Zhang Zhiqiang). Его выступление на Международной олимпиаде по информатике было столь же примечательным: он завоевал две золотые медали и установил рекордный отрыв при победе в 2001 году. Кроме того, в составе команды MIT он участвовал в международной студенческой олимпиаде по программированию ACM, где они занимали второе и пятое места.
Достижения в колледже и исследования
За годы обучения в бакалавриате Бартон четырежды становился стипендиатом Патнэма (Putnam Fellow) в период с 2001 по 2004 год, входя в пятерку лучших участников конкурса Уильяма Лоуэлла Патнэма. Он внес свой вклад в то, что MIT завоевал командный титул в 2003 и 2004 годах. После получения докторской степени он проводил постдокторские исследования в Университете Карнеги — Меллона и Питтсбургском университете. Его научные интересы включают формализацию математики с использованием программного обеспечения Lean. В 2021 году он вошел в состав комитета по проведению международного математического олимпийского «Большого вызова» (International Mathematical Olympiad Grand Challenge).
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Академическое признание
Американское математическое общество и Математическая ассоциация Америки присудили Бартону премию Моргана (Morgan Prize) в 2004 году. Это признание последовало за его академический вклад в изучение плотности упаковки. Помимо исследований, он работал инструктором на летней программе математической олимпиады, помогая старшеклассникам готовиться к международным академическим состязаниям.
Краткие факты
- Рождение: 1983, Арлингтон - Учебное заведение бакалавриата: Массачусетский технологический институт (MIT) - Учебное заведение докторантуры: Гарвардский университет - Основная награда: премия Моргана (2004) - Золотые медали IMO: 4 - Стипендиат Патнэма: 4 раза (2001–2004)
Вопросы читателей
### Какова текущая область исследований Рида Бартона?
Он работает над формализацией математики с использованием программного обеспечения Lean.
### Участвовал ли он в соревнованиях по программированию после получения степени бакалавра?
Да, он объединился с Томеком Чайкой (Tomek Czajka) и Джоном Детриджем (John Dethridge), чтобы выиграть интернет-соревнование по решению задач в 2015 году.
.jpg)
