ゲイリー・ミラー（コンピューター科学者）
ゲイリー・ミラー | |
|---|---|
 ゲイリー・ミラー（左）とフォルカー・シュトラッセン | |
| 知られている | ミラー・ラビン素数判定 |
| 受賞歴 | パリ・カネラキス賞（2003年） クヌース賞（2013年） |
| 科学者としてのキャリア | |
| 機関 | カーネギーメロン大学 |
| 論文 | リーマン予想と素数性検定 （1975） |
| 博士課程の指導教員 | マヌエル・ブルム |
| 博士課程の学生 | スーザン・ランドー・F・トムソン・レイトン・ジャクブ・パチョッキ・シャンファ・テン・ジョナサン・シューチャック |
ゲイリー・リー・ミラーは、カーネギーメロン大学のコンピュータサイエンス教授であるアメリカのコンピュータ科学者です。[ 1 ] 2003年、 ミラー・ラビン素数判定により、他の3名と共にACMパリ・カネラキス賞を受賞しました。 2002年にはACMフェローに選出され[ 2 ] 、 2013年にはクヌース賞を受賞しました。[ 3 ]
幼少期とキャリア
ミラーは、 1975年にカリフォルニア大学バークレー校でマヌエル・ブルムの指導の下、博士号を取得した。ウォータールー大学、ロチェスター大学、MIT、南カリフォルニア大学で教鞭を執った後、カーネギーメロン大学に移り、現在は同大学でコンピュータサイエンスの教授を務めている。計算数論と素数判定に関する影響力のある論文に加えて、グラフ同型性、並列アルゴリズム、計算幾何学、科学計算など、コンピュータサイエンスの多くの中心的テーマに取り組んできた。彼が最近注力した科学計算は、2010年に学生のイオアニス・クーティスとリチャード・ペンとともに画期的な結果をもたらし、現在では「対称対角優勢」線形システムを解くための理論上および実践上最速のアルゴリズムを提供しており、これは画像処理、ネットワークアルゴリズム、工学および物理シミュレーションで重要な用途がある。 [ 4 ]彼の博士号は、1975年にカーネギーメロン大学で取得された。この論文のタイトルは「リーマン予想と素数性検定」であった。[ 5 ]
参考文献
- ^ 「Gary Miller | カーネギーメロン大学 - コンピュータサイエンス学部」www.csd.cs.cmu.edu .
- ^ 「Gary MillerのACMフェロー賞受賞理由」 。 2009年6月21日時点のオリジナルよりアーカイブ。2008年9月11日閲覧。
- ^ 「ACM、問題解決理論とアルゴリズムの創始者にクヌース賞を授与」（プレスリリース）。ACM （Association for Computing Machinery ）. 2013年11月3日時点のオリジナルよりアーカイブ。 2013年10月31日閲覧。
- ^ 「Gary Miller | Simons Institute for the Theory of Computing」 . simons.berkeley.edu . 2013年7月2日.
- ^ 「ミラーの論文」（PDF） .
外部リンク
