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