マヌエル・ブラム(Manuel Blum)

この人は?

マヌエル・ブラム（Manuel Blum、1938年4月26日 - ）はベネズエラのカラカス出身の計算機科学者。1995年、「計算複雑性理論の基礎的研究とその暗号およびプログラム検証への応用に関する貢献に対して」チューリング賞を授与された。 経歴 ブラムはマサチューセッツ工科大学で学び、1959年に学士号、1961年に修士号を取得（いずれも電気工学および計算機科学）。1964年にはマービン・ミンスキーの下で数学の博士号を取得した。1987年IEEEフェロー選出。 1999年までカリフォルニア大学バークレー校で計算機科学の教授を務めた。2002年、米国科学アカデミーの会員に選ばれた。 現在、ブラムはカーネギーメロン大学で計算機科学の教授を務めている。彼の妻 Lenore Blum と息子 Avrim Blum も同大学で計算機科学の教授を務めている。 業績 1960年代、ブラムは具体的なハードウェアからは独立した公理的な複雑性理論を生み出した。この理論はゲーデル数とブラムの公理に基づいている。具体的な機械モデルに基づいていないが、この理論から圧縮定理、ギャップ定理、honesty theorem、ブラムの加速定理などが生み出された。 他にも、電話によるコイン投げのためのプロトコル、線形時間の選択アルゴリズム、暗号論的に安全性が証明された擬似乱数生成法であるBlum-Blum-Shub、それとこの擬似乱数生成法をベースとした確率的公開鍵暗号であるBlum-Goldwasser暗号 (en)、Captchaなどの業績があげられる。 彼の指導学生は高確率で成功を収めている。レオナルド・エーデルマン、シャフィ・ゴールドワッサー、Russell Impagliazzo、シルビオ・ミカリ、Gary Miller、Moni Naor、Steven Rudich、マイケル・シプサ、Umesh Vazirani、Vijay Vazirani、ルイス・フォン・アン、Ryan Williams など。 参考文献 M. Blum, "Coin flipping by telephone: a protocol for solving impossible problems", Proceedings of the 24th IEEE Computer Conference, pp133-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.

経歴

1. 1938
   Born
2. 1983
   Won Fellow of the American Association for the Advancement of Science
3. 1995
   Won Turing Award
4. 2012
   Won IACR Fellow
5. 2020
   Won ACM Fellow
6. Member of National Academy of Sciences
7. Member of American Academy of Arts and Sciences
8. Member of National Academy of Engineering

豆知識

• •Place of birth: Caracas
• •Citizenship: United States
• •Known as: computer scientist, university teacher
• •Spouse: Lenore Blum