ジュリス・ハートマニス

Article

August 8, 2022

Juris Hartmanis (1928 年 7 月 5 日 - 2022 年 7 月 29 日) は、ラトビア生まれのアメリカ人コンピューター科学者および計算理論家であり、リチャード E. スターンズと共に、1993 年の ACM チューリング賞を受賞しました。計算複雑性理論の分野」.

人生とキャリア

ハルトマニスは、1928 年 7 月 5 日にラトビアで生まれました。彼は、ラトビア軍の将軍であり、詩人アストリッド イバスクの兄弟であるマルティシュ ハルトマニスの息子でした。 1940 年にソ連がラトビアを占領した後、マルティニシュ・ハルトマニスはソ連に逮捕され、刑務所で死亡しました。第二次世界大戦の後半、マルティニシュ・ハルトマニスの妻と子供たちは、1944 年に難民としてラトビアを離れました。ソビエト連邦が再びラトビアを占領した場合の身の安全を恐れたのです。マールブルク大学で物理学を専攻。その後米国に移り、1951 年にカンザスシティ大学 (現在のミズーリ大学カンザスシティ校) で応用数学の修士号を取得し、1955 年に博士号を取得しました。ロバート P. ディルワースの監督の下、カリフォルニア工科大学で数学の博士号を取得しました。 1999 年 5 月、ミズーリ大学カンザスシティ校は彼に人道文学の名誉博士号を授与しました。 コーネル大学とオハイオ州立大学で数学を教えた後、ハートマニスは 1958 年にゼネラル エレクトリック研究所に入社しました。ゼネラル エレクトリックにいる間、彼は計算複雑性理論の多くの原則を開発しました。 1965年、コーネル大学教授に就任。彼は創設者の 1 人であり、コンピューター サイエンス部門 (世界で最初のコンピューター サイエンス部門の 1 つ) の最初の議長でもありました。Hartmanis は、さまざまな方法でコンピューター サイエンスとエンジニアリング (CS&E) を進歩させる全国的な取り組みに貢献しました。最も重要なことは、1992 年の出版物 Computing the Future – A Broad Agenda for Computer Science and Engineering につながった National Research Council の研究の議長を務めたことです。 CS&E の学部教育を改善する。彼は、1996 年から 1998 年まで、全米科学財団 (NSF) のコンピュータおよび情報科学および工学 (CISE) 部門のアシスタント ディレクターを務めていました。 1989 年、Hartmanis は、計算複雑性理論とコンピューティングの研究と教育への基本的な貢献により、全米工学アカデミーのメンバーに選出されました。彼は、Association for Computing Machinery と American Mathematical Society のフェローであり、National Academy of Sciences のメンバーでもありました。彼はラトビア科学アカデミーの外国人会員でもあり、コンピュータ サイエンスへの貢献に対して 2001 年にグランド メダルを授与されました。スターンズ、ハートマニスは、時間複雑度クラス TIME(f(n)) を導入し、時間階層定理を証明した論文で、1993 年のチューリング賞を受賞しました。 Hartmanis による 1977 年の別の論文では、Leonard Berman とともに、すべての NP 完全言語は多項式時間同形であるという、いまだ未解決の Berman-Hartmanis 予想が紹介されました。Hartmanis は 2022 年 7 月 29 日に亡くなりました。 、そしてオードリー。

フェロー、アメリカ科学振興協会 (AAAS)、1981 メンバー、全米工学アカデミー、1989 メンバー (外国人): ラトビア科学アカデミー、1990 会員、アメリカ芸術科学アカデミー、1992 ACM チューリング賞 1993 フンボルト財団研究賞、1993 チャーターフェロー、ACM、1994 1999年人道文学名誉博士 Computing Research Association (CRA) Distinguished Service Award, 2000 ラトビア科学アカデミーのグランド メダル、2001 年 2013 年 ACM 功労賞 2013年アメリカ数学会初代フェロー メンバー、全米科学アカデミー、2013

主な出版物

書籍 選択した記事 インタビュー