Manuel Blum 曼纽尔·布鲁姆

主要奖项及荣誉

1982 年，电气电子工程师学会会士

1983 年，美国科学促进会会士

1995 年，图灵奖

2002 年，美国国家科学院院士

教育与工作经历

1964 年，麻省理工学院 数学博士

1977-1980 年，加州大学伯克利分校 计算机科学副主席

1974 年至今，加州大学伯克利分校 科学逻辑和方法学组成员

2001 年至今，卡耐基梅隆大学 计算机科学冠名教授（现任，冠名名誉教授）

主要学术成就

在布鲁姆教授漫长的职业生涯中，他找到了衡量问题内在复杂性的方法。布鲁姆加速定理（Blum's Speedup Theorem）是关于可计算函数复杂性的一个重要命题。而布鲁姆公理则提供了一种与机器无关的方法来理解计算的复杂性，计算过程可以由人或者计算机完成。由于所有计算设备的资源有限，布鲁姆因此探索了安全商业交易、伪随机数生成、程序检查，以及最近用于检测机器人入侵者的验证码等内容。布鲁姆受认知神经科学重大进展的启发，他目前的研究为有意识的人工智能设计计算机架构。