ゲイリー・ミラー（コンピューター科学者）

ゲイリー・ミラー
ゲイリー・ミラー（左）とフォルカー・シュトラッセン
知られている	ミラー・ラビン素数判定
受賞歴	パリ・カネラキス賞（2003年） クヌース賞（2013年）
科学者としてのキャリア
機関	カーネギーメロン大学
論文	リーマン予想と素数性検定 (1975)
博士課程の指導教員	マヌエル・ブルム
博士課程の学生	スーザン・ランドー ・F・トムソン レイトン・ シャンファ・テン ジョナサン・シュー チャック

ゲイリー・リー・ミラーは、カーネギーメロン大学のコンピュータサイエンスの教授であるアメリカのコンピュータ科学者です。^[1] 2003年に ミラー・ラビン素数判定でACMパリ・カネラキス賞（他の3人とともに）を受賞しました。 2002年にACMフェローに任命され^[2] 、 2013年にクヌース賞を受賞しました。 ^[3]

ミラーは、1975年にマヌエル・ブラムの指導の下、カリフォルニア大学バークレー校で博士号を取得しました。ウォータールー大学、ロチェスター大学、MIT、南カリフォルニア大学で教鞭を執った後、カーネギーメロン大学に移り、現在は同大学でコンピュータサイエンスの教授を務めています。計算数論と素数判定に関する影響力のある論文に加えて、ミラーは、グラフ同型性、並列アルゴリズム、計算幾何学、科学計算など、コンピュータサイエンスの多くの中心的トピックに取り組んできました。科学計算に関する彼の最近の焦点は、2010年に学生のイオアニス・コウティスとリチャード・ペンとともに画期的な結果をもたらし、現在、「対称対角優勢」線形システムを解くための理論と実践において最速のアルゴリズムを提供しており、これは画像処理、ネットワークアルゴリズム、エンジニアリング、物理シミュレーションで重要な用途があります。^[4]彼の博士号は、1975年にマヌエル・ブラムの指導の下、カーネギーメロン大学で取得されました。論文のタイトルは「リーマン予想と素数性の検定​​」であった。^[5]

• カーネギーメロン大学の Gary Miller の Web ページ。
• 数学系譜プロジェクトのゲイリー・ミラー氏。
• ミラーの原著論文「リーマン予想と素数性検定」