ユリス・ハルトマニス

1993年にユリス・ハルトマニス（Juris Hartmanis）に授与されたチューリング賞は、計算複雑性理論の数学的基礎を確立した彼の役割を正式に認めました。ラトビア生まれのこの科学者は、計算問題を解決するために必要な時間と空間に基づいて問題を分類する方法を定義し、現代の計算機科学研究の軌跡と学術部門の発展を根本的に形作りました。

生い立ちと学術的基盤

1928年にリガで生まれたユリス・ハルトマニスは、ドイツで過ごした後、最終的にアメリカに移住しました。ミズーリ大学カンザスシティ校で大学院研究を行い、1951年に応用数学の修士号を取得しました。1955年にカリフォルニア工科大学で正式な教育を修了し、ロバート・P・ディルワースの指導の下で博士号を取得しました。初期のキャリアには、コーネル大学やオハイオ州立大学での教職が含まれ、その後1958年にゼネラル・エレクトリック研究所に入所しました。

計算複雑性理論

ゼネラル・エレクトリック在職中、ハルトマニスはリチャード・E・スターンズと協力して計算複雑性の研究を形式化しました。彼らの研究は計算時間に基づく問題の分類を導入し、時間階層定理を確立しました。P・M・ルイス2世と共に、ハルトマニスはこれらの概念を空間使用量にまで拡大し、決定性空間複雑性に関する初期の洞察に貢献しました。後の数十年間、彼はNP完全集合の構造を探求し、ブール階層を定義し、計算限界に関するより広い理解に影響を与えました。

制度的リーダーシップと提言

ハルトマニスは1965年にコーネル大学に戻り、教授として務め、世界初の計算機科学部門の一つで初代部門長となりました。彼はこの分野の成長に強くコミットし、1992年に出版された全米研究評議会の重要な研究『Computing the Future』の議長を務めました。1996年から1998年まで、全米科学財団の計算・情報科学工学局の副局長を務めました。

無料テスト

あなたはどのくらい？

20問、8分の制限時間、そして受験者全員と比べたパーセンタイル。登録不要。

IQテストを受ける →

表彰と専門的会員資格

キャリアを通じて、ハルトマニスは全米工学アカデミー、全米科学アカデミー、アメリカ芸術科学アカデミーの会員に選出されました。彼は計算機学会（ACM）およびアメリカ数学会のフェローを務めました。彼の母国は2001年にラトビア科学アカデミーの大メダルを授与し、彼の科学的貢献を称えました。彼は2022年に亡くなるまで、国際的な研究コミュニティの活動的なメンバーであり続けました。