マヌエル・ブラム
ブラムはマサチューセッツ工科大学で学び、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 など。