국제수학올림피아드(International Mathematical Olympiad)에서 4개의 금메달을 획득한 리드 바튼(Reid Barton)은 경쟁 수학 분야에서 두각을 나타내는 인물로 자리매김했습니다. 1983년 알링턴에서 태어난 그는 엘리트 컴퓨터 프로그래밍과 고급 이론 연구를 통합하는 학문적 경로를 밟았으며, 결국 2019년 마이클 J. 홉킨스(Michael J. Hopkins)의 지도 아래 하버드 대학교에서 수학 박사 학위를 받았습니다.
초기 개발 및 프로그래밍 이니셔티브
바튼은 매우 어린 시절부터 학업을 시작하여 초등학교 때 터프츠 대학교에서 화학 및 물리학 수업을 들었습니다. 8학년 때는 MIT 과학자인 찰스 E. 레이서슨(Charles E. Leiserson)과 함께 CilkChess 프로젝트에서 협업했습니다. 그의 기술적 훈련은 아카마이 테크놀로지스(Akamai Technologies)에서의 고용으로 이어졌으며, 그곳에서 라메쉬 시타라만(Ramesh Sitaraman)과 함께 업계 표준이 된 비디오 성능 측정 시스템을 구축했습니다.
올림피아드 성공 및 컴퓨팅 경진대회
바튼은 국제수학올림피아드에서 4개의 금메달을 획득한 최초의 학생이라는 기록을 보유하고 있습니다. 2001년 워싱턴 D.C.에서 만점을 기록하며 가브리엘 캐럴(Gabriel Carroll), 샤오 리앙(Xiao Liang), 장즈창(Zhang Zhiqiang)과 함께 공동 1위를 차지했습니다. 국제정보올림피아드에서의 성과 또한 주목할 만하며, 2001년에 2개의 금메달을 획득하고 기록적인 점수 차로 우승했습니다. 또한 MIT 팀의 일원으로 ACM 국제 대학생 프로그래밍 경진대회(ICPC)에 참가하여 2위와 5위를 기록했습니다.
대학 업적 및 연구
학부 시절, 바튼은 2001년부터 2004년까지 4회에 걸쳐 퍼트남 펠로우(Putnam Fellow)로 선정되었으며, 윌리엄 로웰 퍼트남 수학 경진대회(William Lowell Putnam Competition)에서 상위 5위 안에 들었습니다. 그는 2003년과 2004년 MIT가 팀 우승을 차지하는 데 기여했습니다. 박사 학위를 마친 후에는 카네기 멜런 대학교와 피츠버그 대학교에서 박사 후 연구원으로 근무했습니다. 그의 연구 관심사는 Lean 소프트웨어를 이용한 수학의 형식화입니다. 2021년에는 국제수학올림피아드 그랜드 챌린지 위원회에 합류했습니다.
학술적 인정
미국수학회와 미국수학협회는 2004년 바튼에게 모건 상(Morgan Prize)을 수여했습니다. 이 인정은 충전 밀도(packing densities) 연구에 대한 그의 학술적 기여에 따른 것입니다. 연구 외에도 수학올림피아드 여름 프로그램의 강사로 활동하며 고등학생들이 국제 학술 경진대회를 준비하도록 도왔습니다.
빠른 사실
- 출생: 1983년, 알링턴 - 학부: 매사추세츠 공과대학교(MIT) - 박사: 하버드 대학교 - 주요 수상: 모건 상(2004년) - 국제수학올림피아드 금메달: 4개 - 퍼트남 펠로우: 4회(2001–2004년)
독자들의 질문
### 리드 바튼의 현재 연구 분야는 무엇인가요?
그는 Lean 소프트웨어를 사용하여 수학을 형식화하는 연구를 하고 있습니다.
### 대학 졸업 후에도 프로그래밍 경진대회에 참가했나요?
네, 토멕 차이카(Tomek Czajka) 및 존 데스리지(John Dethridge)와 팀을 이루어 2015년 인터넷 문제 해결 대회에서 우승했습니다.
.jpg)
