マヌエル・ブラム

マヌエル・ブラムのプロフィール

マヌエル・ブラム（Manuel Blum、1938年4月26日生まれ）は、南アメリカのベネズエラ・カラカス出身の著名な計算機科学者です。彼は計算複雑性理論の先駆者として知られ、1995年にはその研究と応用により、権威あるチューリング賞を授与されました。

学歴と経歴

ブラムはマサチューセッツ工科大学（MIT）で学び、1959年に電気工学および計算機科学の学士号を取得。さらに1961年には修士号を、1964年には数学に関する博士号をマービン・ミンスキーの指導のもとで取得しました。41887年にはIEEEフェローに選出され、1999年までカリフォルニア大学バークレー校で計算機科学の教授として教育と研究に従事しました。2002年にはアメリカ科学アカデミーの会員に選ばれるなど、数々の栄誉を受けてきました。

現在はカーネギーメロン大学で計算機科学の教授を務めており、彼の家族も同大学で計算機科学の教育に関わっています。妻のレノール・ブラムと息子のアブリム・ブラムも著名な研究者です。

研究業績

1960年代より、ブラムは具体的なハードウェアに依存しない公理的な計算複雑性理論を構築しました。この理論は、ゲーデル数とブラムの公理に基づいて発展し、圧縮定理やギャップ定理、honesty theorem、ブラムの加速定理など多くの重要な成果をもたらしました。

また、ブラムは電話を用いたコイン投げのプロトコルや、線形時間での選択アルゴリズム、さらに「Blum-Blum-Shub」と名付けられた暗号論的に安全とされる擬似乱数生成法も開発しています。また、これに基づいた確率的公開鍵暗号「Blum-Goldwasser暗号」やCaptchaのアイデアも彼の業績の一部です。

ブラムが指導した学生たちも多くの成功を収めており、彼らの中にはレオナルド・エーデルマンやシャフィ・ゴールドワッサー、ラッセル・インパリアッツォ、シルビオ・ミカリ、ゲイリー・ミラー、モニ・ナオール、スティーブン・ルディッチなどが含まれています。

参考文献と外部リンク

ブラムの研究や業績に関する情報は、以下の文献やリンクからも得られます。

• - M. Blum, "Coin flipping by telephone: a protocol for solving impossible problems", Proceedings of the 24th IEEE Computer Conference, pp. 133-137, 1982.
• - Lenore Blum, Manuel Blum, and Michael Shub. "A Simple Unpredictable Pseudo-Random Number Generator", SIAM Journal on Computing, volume 15, pages 364–383, May 1986.

詳しい情報は、彼のカーネギーメロン大学のページや以前のバークレーのページをご覧ください。

もう一度検索