国際数学オリンピック(International Mathematical Olympiad)で4つの金メダルを獲得したことで、リード・バートン(Reid Barton)は競技数学界における卓越した人物としての地位を確立しました。1983年にアーリントンで生まれた彼は、エリートレベルのコンピュータ・プログラミングと高度な理論研究を統合する学術的キャリアを歩み、最終的にマイケル・J・ホプキンス(Michael J. Hopkins)の指導の下、2019年にハーバード大学で数学の博士号を取得しました。
初期の成長とプログラミングの取り組み
バートンは非常に早い段階から学術的な勉強を始め、小学校時代にはタフツ大学で化学と物理学のクラスを受講していました。8年生の時には、MITの科学者チャールズ・E・ライザーソン(Charles E. Leiserson)と協力してCilkChessプロジェクトに取り組みました。彼の技術訓練はアカマイ・テクノロジーズ(Akamai Technologies)での雇用にまで及び、そこでラメシュ・シタラマン(Ramesh Sitaraman)と共に、後に業界標準となるビデオ性能測定システムの構築に携わりました。
オリンピックでの成功と競技プログラミング
バートンは、国際数学オリンピックで4つの金メダルを獲得した最初の学生という栄誉を持っています。2001年にはワシントンD.C.で満点を記録し、ガブリエル・キャロル(Gabriel Carroll)、シャオ・リャン(Xiao Liang)、ジャン・ジーチャン(Zhang Zhiqiang)と共にトップの座を分かち合いました。国際情報オリンピックでの成績も同様に傑出しており、2001年には2つの金メダルを獲得し、史上最大の点差で勝利するという記録を打ち立てました。さらに、MITチームの一員としてACM国際大学対抗プログラミングコンテストにも参加し、2位と5位に入賞しました。
大学での業績と研究
学部生時代、バートンは2001年から2004年の間に4回パトナム・フェロー(Putnam Fellow)に選出され、ウィリアム・ローウェル・パトナム数学競技(William Lowell Putnam Competition)で5位以内の成績を収めました。彼はMITが2003年と2004年の両方でチームタイトルを獲得することに貢献しました。博士号取得後、カーネギーメロン大学およびピッツバーグ大学で博士研究員として研究を行いました。彼の研究関心は、Leanソフトウェアを用いた数学の形式化を含みます。2021年には、国際数学オリンピック・グランドチャレンジの委員会に加わりました。
学術的評価
アメリカ数学会(American Mathematical Society)およびアメリカ数学協会(Mathematical Association of America)は、2004年にバートンにモーガン賞(Morgan Prize)を授与しました。この評価は、充填密度(packing densities)の研究に対する彼の学術的貢献によるものです。研究以外にも、数学オリンピック夏季プログラムのインストラクターを務め、高校生が国際的な学術競技大会に向けて準備するのを支援してきました。
基本データ
- 出生: 1983年、アーリントン - 学部大学: マサチューセッツ工科大学(MIT) - 博士号取得大学: ハーバード大学 - 主な受賞: モーガン賞(2004年) - 国際数学オリンピック金メダル数: 4 - パトナム・フェロー: 4回(2001年〜2004年)
読者からの質問
### リード・バートンの現在の研究分野は何ですか?
彼はLeanソフトウェアを用いた数学の形式化に取り組んでいます。
### 大学卒業後もプログラミングコンテストに参加しましたか?
はい、トメック・チャイカ(Tomek Czajka)およびジョン・デトリッジ(John Dethridge)とチームを組み、2015年のインターネット問題解決コンテストで優勝しました。
.jpg)
