Loading article…
マドゥ・スーダン | |
|---|---|
 2015年オーバーヴォルフアッハのスーダン | |
| 生まれる | 1966年9月12日 |
| 教育 | IITデリー（BTech） カリフォルニア大学バークレー校（PhD） |
| 受賞歴 | ゲーデル賞(2001)
|
| 科学者としてのキャリア | |
| 論文 | 多項式と証明の効率的な検証と近似問題の困難性 (1992) |
| 博士課程の指導教員 | ウメシュ・ヴァジラニ |
| 博士課程の学生 | ベンカテサン・グルスワミ ベンジャミン・ロスマン ライアン・オドネル |
マドゥ・スーダン（1966年9月12日生まれ）[1]は、インド系アメリカ人のコンピュータ科学者です。2015年よりハーバード大学ジョン・A・ポールソン工学応用科学大学院のゴードン・マッケイコンピュータサイエンス教授を務めています。
キャリア
彼は1987年にインド工科大学デリー校でコンピュータサイエンスの学士号を取得し[1]、1992年にカリフォルニア大学バークレー校でコンピュータサイエンスの博士号を取得しました。 [1] [2] カリフォルニア大学バークレー校で執筆した博士論文のタイトルは、「多項式と証明の効率的なチェックと近似問題の困難さ」です。彼は1992年から1997年までニューヨーク州ヨークタウンハイツのIBM トーマスJ.ワトソン研究所の研究員であり、その後マサチューセッツ工科大学（MIT）の研究員になりました。 [1] 2009年から2015年まで、彼はハーバード大学の教員になる前に、マイクロソフトリサーチニューイングランドの常勤研究員でした。[3]
研究貢献と受賞
1998年、スローン研究フェローシップを受賞。[4] 2002年、第24回国際数学者会議（ICM）でロルフ・ネヴァンリンナ賞を受賞。この賞は、コンピュータサイエンスの数学的側面における優れた研究を表彰するものである。スーダンは、確率的に検証可能な証明（数学的証明をコンピュータ言語で書き直し、その妥当性をさらに検証する方法）の理論の推進と、エラー訂正コードの開発における業績が評価された。[1]同じ研究により、 1993年にACMの優秀博士論文賞、 2001年にゲーデル賞を受賞し、1998年にはICMの招待講演者を務めた。 [5] ACMのフェロー（2008年）である。[6] 2012年、アメリカ数学会のフェローになった。[7] 2014年にインフォシス賞（数学科学部門）を受賞。 [8] 2017年に米国科学アカデミー に選出。[9] 2021年に2022年度IEEEリチャード・W・ハミング賞 を受賞。 [10]
スーダンは、確率的に検証可能な証明、最適化問題の非近似性、リストのデコード、誤り訂正符号など、理論計算機科学のいくつかの分野に重要な貢献をしてきました。[8]
参考文献
- ^ abcde 「マドゥ・スーダンがネヴァンリンナ賞を受賞」(PDF)、Mathematics People、アメリカ数学会の通知、49 (10): 1266、2002年10月。
- ^ 数学系譜プロジェクトのマドゥ・スーダン
- ^ 「Madhu Sudanのホームページ」madhu.seas.harvard.edu . 2023年12月12日閲覧。
- ^ 「フェローデータベース」スローン財団。 2024年3月23日閲覧。
- ^ Sudan, Madhu (1998). 「証明の確率的検証」. Doc. Math. (ビーレフェルト) Extra Vol. ICM Berlin, 1998, vol. III . pp. 461– 470.
- ^ 略歴
- ^ アメリカ数学会フェロー一覧、2013年8月5日閲覧。
- ^ ab Madhu Sudan、Infosys Prize Laureates、2015年2月28日閲覧。
- ^ 米国科学アカデミー会員および外国人会員の選出、米国科学アカデミー、2017年5月2日。
- ^ 「IEEE RICHARD W. HAMMING MEDAL RECIPIENTS」（PDF）IEEE。 2021年12月16日時点のオリジナル（PDF）よりアーカイブ。
外部リンク
- DBLP: マドゥ・スーダン
- マドゥ・スーダンのホームページ
- Microsoft Research New England ページの経歴