1995年ACM图灵奖授予曼努埃尔·布鲁姆，以表彰他在计算复杂性理论领域及其在密码学和程序验证中的应用所做出的根本性贡献。这位出生于1938年加拉加斯的委内瑞拉裔美国计算机科学家花费了数十年时间推动机器模型和算法效率的理论边界。
学术基础
布鲁姆在麻省理工学院接受了高等教育。他分别于1959年和1961年获得了电气工程学士和硕士学位。在研究所期间，他在沃伦·S·麦卡洛克的指导下合作研究了神经网络的数学问题。1964年，他获得了数学博士学位，其博士研究由马文·明斯基指导。
对复杂性理论的贡献
在20世纪60年代，布鲁姆开创了一种独立于特定机器模型的公理化复杂性理论。利用哥德尔数和布鲁姆公理，他的研究产生了重要成果，包括压缩定理、间隙定理、诚实定理和加速定理。除了这些公理化基础外，他的工作还包括创建中位数的中位数算法、Blum Blum Shub伪随机数生成器和Blum-Goldwasser密码系统。他还因开发了电话抛硬币协议和现代CAPTCHA等协议而受到赞誉。
职业生涯与专业隶属关系
布鲁姆曾在加州大学伯克利分校担任计算机科学教授，任职至2001年。那一年，他接受了卡内基梅隆大学布鲁斯·尼尔森计算机科学教授的职位。2018年，他和妻子勒诺·布鲁姆因对奥林匹斯项目管理结构和员工待遇的争议，辞去了在卡内基梅隆大学的职务。在他的职业生涯中，他指导了许多研究人员，包括伦纳德·阿德曼、莎菲·戈德瓦瑟、西尔维奥·米卡利和路易斯·冯·安。
机构认可
布鲁姆因其在抽象复杂性和密码协议方面的贡献，被选入多个高级学术机构，包括2002年的美国国家科学院和2006年的美国国家工程院。他的专业会员资格包括美国艺术与科学院和计算机协会。他是美国科学促进会、国际密码学研究协会和计算机协会的会士。
快速事实
- 出生：1938年，委内瑞拉加拉加斯 - 教育：麻省理工学院 - 图灵奖：1995年 - 雇主：加州大学伯克利分校；卡内基梅隆大学 - 国籍：美国；委内瑞拉 - 工作领域：计算机科学 - 主要贡献：Blum Blum Shub生成器 - 专业会士：国际密码学研究协会 (2012), 计算机协会 (2020), 美国科学促进会 (1983)
读者常见问题
### 曼努埃尔·布鲁姆的主要研究领域是什么？
他专注于计算机科学，特别是计算复杂性理论、密码学和程序检查。
### 曼努埃尔·布鲁姆曾在哪些大学任职？
他曾在加州大学伯克利分校担任教授，后来在卡内基梅隆大学担任布鲁斯·尼尔森计算机科学教授。
