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