マヌエル＝ブラムの情報 （ManuelBlum）
芸能人・有名人Wiki検索（誕生日、出身地）

マヌエル＝ブラムのプロフィール Wikipedia（ウィキペディア）

マヌエル・ブラム（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.

^ ACM Turing Award Citation, retrieved 2010-01-24.

^ Manuel Blum - Mathematics Genealogy Project

^ Honored professor stumps computers, Jonathan Potts, Pittsburgh Tribune-Review, May 16, 2002.

ブラムのホームページ:

Carnegie Mellon page

Berkeley page (outdated)

表

話

編

歴

アラン・パリス (1966)

モーリス・ウィルクス (1967)

リチャード・ハミング (1968)

マービン・ミンスキー (1969)

ジェームズ・H・ウィルキンソン (1970)

ジョン・マッカーシー (1971)

エドガー・ダイクストラ (1972)

チャールズ・バックマン (1973)

ドナルド・クヌース (1974)

アレン・ニューウェル / ハーバート・サイモン (1975)

マイケル・ラビン / デイナ・スコット (1976)

ジョン・バッカス (1977)

ロバート・フロイド (1978)

ケネス・アイバーソン (1979)

アントニー・ホーア (1980)

エドガー・F・コッド (1981)

スティーブン・クック (1982)

ケン・トンプソン / デニス・リッチー (1983)

ニクラウス・ヴィルト (1984)

リチャード・カープ (1985)

ジョン・ホップクロフト / ロバート・タージャン (1986)

ジョン・コック (1987)

アイバン・サザランド (1988)

ウィリアム・カハン (1989)

フェルナンド・J・コルバト (1990)

ロビン・ミルナー (1991)

バトラー・ランプソン (1992)

ユリス・ハルトマニス / リチャード・スターンズ (1993)

エドワード・ファイゲンバウム / ラジ・レディ (1994)

マヌエル・ブラム (1995)

アミール・プヌーリ (1996)

ダグラス・エンゲルバート (1997)

ジム・グレイ (1998)

フレデリック・ブルックス (1999)

アンドリュー・チーチー・ヤオ (2000)

オーレ＝ヨハン・ダール / クリステン・ニゴール (2001)

ロナルド・リベスト / アディ・シャミア / レオナルド・エーデルマン (2002)

アラン・ケイ (2003)

ヴィントン・サーフ / ロバート・カーン (2004)

ピーター・ナウア (2005)

フランシス・E・アレン (2006)

エドムンド・クラーク / アレン・エマーソン / ジョセフ・シファキス (2007)

バーバラ・リスコフ (2008)

チャック・サッカー (2009)

レスリー・ヴァリアント (2010)

ジューディア・パール (2011)

シャフィ・ゴールドワッサー / シルビオ・ミカリ (2012)

レスリー・ランポート (2013)

マイケル・ストーンブレーカー (2014)

マーティン・ヘルマン / ホイットフィールド・ディフィー (2015)

ティム・バーナーズ＝リー (2016)

ジョン・ヘネシー / デイビッド・パターソン (2017)

ヨシュア・ベンジオ / ジェフリー・ヒントン / ヤン・ルカン (2018)

エドウィン・キャットマル / パット・ハンラハン (2019)

アルフレッド・エイホ / ジェフリー・ウルマン (2020)

ジャック・ドンガラ (2021)

ロバート・メトカーフ (2022)

アヴィ・ヴィグダーソン (2023)

コンピュータ

カテゴリ

計算機協会

DBLP

MathSciNet

Mathematics Genealogy Project

zbMATH

SNAC

20世紀アメリカ合衆国の工学者

21世紀アメリカ合衆国の工学者

アメリカ合衆国の計算機科学者

チューリング賞受賞者

IEEEフェロー

米国科学アカデミー会員

全米技術アカデミー会員

カーネギーメロン大学の教員

カリフォルニア大学バークレー校の教員

ユダヤ系ベネズエラ人

ユダヤ系アメリカ人

ベネズエラ系アメリカ人

アメリカ合衆国帰化市民

カラカス出身の人物

1938年生

存命人物

外部リンクがリンク切れになっている記事/2017年9月

ACM-DL識別子が指定されている記事

DBLP識別子が指定されている記事

MATHSN識別子が指定されている記事

MGP識別子が指定されている記事

ZBMATH識別子が指定されている記事

SNAC-ID識別子が指定されている記事