2014年4月26日土曜日

南米唯一のチューリング賞 Manuel Blum ベネズエラの計算機科学者 Premio Turing


Manuel Blum (Caracas, Venezuela 26 de abril de 1938) es profesor de Ciencias de la Computación.

Fue el primer y único sudamericano en recibir el Premio Turing en 1995, por sus contribuciones a la teoría de Complejidad computacional y sus aplicaciones a la criptografía y "program checking". Sus contribuciones incluyen el generador de números pseudoaleatorios Blum Blum Shub, el "stream cypher" de Blum-Goldwasser, y más recientemente Captchas.

Blum asistió al Instituto Tecnológico de Massachusetts, en donde recibió su B.S. en 1959, su "master" en 1961, y su PhD en 1964.

Trabajó como profesor de informática en la Universidad de California, Berkeley hasta 2000.

Es actualmente el "Bruce Nelson Professor of Computer Science" en la Universidad de Carnegie Mellon.

本日76歳の誕生日を迎えた、このベネズエラの計算機科学者が南米初のチューリング賞を受賞したのは 19年前、1995年のことでした。「計算複雑性理論の基礎的研究とその暗号およびプログラム検証への応用に関する貢献に対して」の授与でした。



1960年代、ブラムは具体的なハードウェアからは独立した公理的な複雑性理論を生み出しました。この理論はゲーデル数とブラムの公理に基づいています。具体的な機械モデルに基づいていませんが、この理論から圧縮定理、ギャップ定理、ブラムの加速定理などが生み出されたのです。

他にも、電話によるコイン投げのためのプロトコル、線形時間の選択アルゴリズム、暗号論的に安全性が証明された擬似乱数生成法である Blum-Blum-Shub、それとこの擬似乱数生成法をベースとした確率的公開鍵暗号である Blum-Goldwasser暗号、Captchaなどの業績があげられます。