曼纽尔·布卢姆（Manuel Blum）

曼纽尔·布卢姆（Manuel Blum）是美国计算机科学家、卡内基梅隆大学教授，因奠定计算复杂性理论并将其应用于密码学和程序正确性检验而获得1995年图灵奖。

概述

布卢姆1938年生于委内瑞拉加拉加斯，在麻省理工学院师从马文·明斯基获博士学位。他建立了以公理化方式度量计算复杂性的理论，并培养了大批杰出学生，其中多人后来也获图灵奖，被誉为复杂性理论的重要奠基人和优秀导师。

核心贡献

• 布卢姆复杂性公理：为衡量计算资源提供抽象而通用的数学框架。
• 加速定理：揭示某些问题不存在最优算法，总能被进一步加速。
• 程序检验与自校验计算：研究如何在不完全信任程序的情况下验证结果。
• 推动验证码技术，用于区分人类与自动程序。

应用场景

他的复杂性理论为算法难度分析提供了基础工具。程序结果检验思想用于分布式计算与云计算中对不可信节点结果的核验。验证码技术被广泛用于网站注册、登录和防止机器人滥用，是日常互联网安全的重要防线。他的密码学研究还影响了随机数生成与硬币抛掷协议。

常见问题

问：布卢姆与验证码有什么关系？答：他和学生推动了验证码这一利用人类感知优势区分人与程序的技术思路，帮助网站抵御自动化攻击，如今各类图形和文字验证码都源自这一理念。

问：他为何被称为图灵奖导师？答：因为他指导的多名学生后来也获得图灵奖，如零知识证明领域的学者，他在培养人才和推动学科发展上贡献突出。