图灵奖：曼纽尔·布卢姆（1995）

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 35 期。图灵奖：曼纽尔·布卢姆（1995）

文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。

本文来自 wiki:Edward Feigenbaum，翻译基于 谷歌翻译.

计算复杂性理论的主要奠基人之一

曼纽尔·布卢姆（Manuel Blum，1938 年 4 月 26 日出生）是一位出生于委内瑞拉的美国计算机科学家。

他于 1995 年获得图灵奖。

其图灵奖颁奖词为“表彰他对计算复杂性理论基础及其在密码学和编程校验中的应用的贡献。”。（In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking. ）

生平

布卢姆出生于委内瑞拉的一个犹太家庭。

他就读于麻省理工学院，分别于 1959 年和 1961 年获得电气工程学士学位和硕士学位，并于 1964 年在马文·明斯基 (Marvin Minsky) 的指导下获得数学博士学位。

布卢姆 2001 年之前一直在加州大学伯克利分校担任计算机科学教授。从 2001 年到 2018 年，他担任卡内基梅隆大学计算机科学的 Bruce Nelson 教授。

2006年，他因在抽象复杂性理论、归纳推理、密码协议以及程序检查器的理论和应用方面的贡献而当选为美国国家工程院院士。

贡献

在 60 年代，他发展了一种独立于具体机器模型的公理复杂性理论。该理论基于哥德尔编号和布卢姆公理。尽管该理论不基于任何机器模型，但它产生了具体的结果，如压缩定理、间隙定理、诚实定理和布鲁姆加速定理。

他的其他一些工作包括在电话上掷硬币的协议、中位数的中位数（线性时间选择算法）、Blum Blum Shub 伪随机数生成器、Blum–Goldwasser 密码系统以及最近的验证码。

~~

都看到这儿了，不如关注每日推送的“科文路”、互动起来~

至少点个赞再走吧~

觉得还不错？可以在公众号菜单栏找到“赞赏”入口~