1995年のACMチューリング賞は、計算複雑性理論および暗号学とプログラム検証におけるその応用への根本的な貢献が認められ、マヌエル・ブラムに授与されました。1938年にカラカスで生まれたこのベネズエラ系アメリカ人の計算機科学者は、数十年にわたり機械モデルとアルゴリズム効率の理論的境界を前進させてきました。
学術的基盤
ブラムはマサチューセッツ工科大学で高等教育を受けました。1959年に電気工学の学士号、1961年に修士号を取得しました。同研究所在籍中、ウォーレン・S・マカロックの指導の下、ニューラルネットワークの数学的問題について共同研究を行いました。1964年には数学の博士号を取得し、博士論文の研究はマービン・ミンスキーが指導しました。
複雑性理論への貢献
1960年代、ブラムは特定の機械モデルから独立して機能する公理的複雑性理論の先駆者となりました。ゲーデル数とブラムの公理を利用した彼の研究は、圧縮定理、ギャップ定理、正直さ定理、加速定理など、重要な成果を生み出しました。これらの公理的基盤に加え、彼の業績には、中央値の中央値アルゴリズム、Blum Blum Shub擬似乱数生成器、Blum-Goldwasser暗号システムの作成が含まれます。また、電話越しでのコイントスや現代のCAPTCHAなどのプロトコルの開発も彼の手によるものです。
キャリアと専門的所属
ブラムはカリフォルニア大学バークレー校で長年計算機科学の教授を務め、2001年まで在籍しました。同年、カーネギーメロン大学のブルース・ネルソン計算機科学教授職に就きました。2018年、彼と妻のレノア・ブラムは、プロジェクト・オリンパス内での管理構造とスタッフの扱いに関する論争を受けて、カーネギーメロン大学の職を辞任しました。キャリアを通じて、レナード・エーデルマン、シャフィ・ゴールドワッサー、シルビオ・ミカリ、ルイス・フォン・アンなど、多くの研究者を指導してきました。
機関による評価
ブラムは、抽象的複雑性と暗号プロトコルへの貢献により、2002年に全米科学アカデミー、2006年に全米技術アカデミーなど、複数の高レベルの学術機関に選出されています。彼の専門的所属には、アメリカ芸術科学アカデミーや計算機学会 (ACM) が含まれます。また、アメリカ科学振興協会 (AAAS)、国際暗号学会 (IACR)、ACMのフェローでもあります。
クイックファクト
- 生年月日: 1938年、ベネズエラ、カラカス - 学歴: マサチューセッツ工科大学 - チューリング賞: 1995年 - 雇用主: カリフォルニア大学バークレー校、カーネギーメロン大学 - 国籍: アメリカ合衆国、ベネズエラ - 専門分野: 計算機科学 - 主な貢献: Blum Blum Shub生成器 - 専門的フェローシップ: IACR (2012年)、ACM (2020年)、AAAS (1983年)
読者からの質問
### マヌエル・ブラムの主な研究分野は何ですか？
彼は計算機科学を専門とし、特に計算複雑性理論、暗号学、プログラム検証に焦点を当てています。
### マヌエル・ブラムはどの大学で雇用されていましたか？
カリフォルニア大学バークレー校で教授を務め、その後カーネギーメロン大学でブルース・ネルソン計算機科学教授を務めました。
