曼纽尔·布卢姆

更新时间:2023-09-03 11:33

曼纽尔·布卢姆(Manuel Blum),1938年4月26日出生于委内瑞拉加拉加斯,1995年图灵奖得主,美国国家科学院院士美国国家工程院院士美国艺术与科学院院士美国电气与电子工程师协会会士(IEEE fellow),美国科学促进会会士(AAAS fellow),卡内基梅隆大学教授。

人物经历

1938年4月26日,曼纽尔·布卢姆出生于委内瑞拉加拉加斯。

1959年,获得麻省理工学院电气工程学士学位。

1960年—1965年,担任麻省理工学院电子研究实验室沃伦·麦卡洛克博士的研究助理和实验室研究助理。

1961年,获得麻省理工学院电气工程硕士学位。

1964年,获得麻省理工学院数学博士学位,师从马文·明斯基

1966年—1968年,担任麻省理工学院数学助理教授。

1968年—2001年,历任加州大学伯克利分校电子工程与计算机科学系客座助理教授、副教授、教授。

1977年—1980年,担任加州大学伯克利分校计算机科学系副主任。

1982年,当选为美国电气与电子工程师协会会士(IEEE fellow)。

1983年,当选为美国科学促进会会士(AAAS fellow)。

1995年,当选为美国艺术与科学院院士,同年获得图灵奖。

1995年—2001年,担任加州大学伯克利分校计算机科学阿瑟·奇克教授。

2001年,被聘为卡内基梅隆大学计算机科学布鲁斯·纳尔逊教授。

2002年,当选为美国国家科学院院士。

2006年,当选为美国国家工程院院士。

主要成就

科研成就

20世纪60年代早期,曼纽尔·布卢姆想要理解复杂性,想要发现复杂性的本质,在他的博士论文中,提出了一种与机器无关的复杂性理论,为所有可能的复杂性研究奠定了基础。他假定资源是任何具有两个基本属性的函数(从那时起被称为Blum公理),本质上说明运行在特定输入上的程序所消耗的资源量是可以计算的——除非计算不能停止,在这种情况下它是未定义的。曼纽尔·布卢姆还提出了“加速定理”,该定理指出存在一个可计算函数,使得该函数的任何算法对于几乎所有输入都可以呈指数级加速。

20世纪60年代末,曼纽尔·布卢姆确信计算中位数需要nlogn(n表示需要排序的数字个数)步,1971年,他提出了一个算法,可以在线性时间内找到中位数。

据2023年9月AMiner平台数据,曼纽尔·布卢姆已发表学术论文71篇,论文被引21368次,H-Index:37。

[1]L. V. Ahn,M. Blum,Nicholas J. Hopper,J. Langford.CAPTCHA: CAPTCHA: Using hard AI problems for security[J].msra,2003.

[2]Luis Von Ahn,Manuel Blum,Nicholas J. Hopper,John Langford.CAPTCHA: using hard AI problems for security[J].International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT),2003.

[3]Manuel Blum,Silvio Micali.How to generate cryptographically strong sequences of pseudo-random bits[J].Foundations of Computer Science (FOCS),1984.

[4]Manuel Blum,Robert W. Floyd,Vaughan Pratt,Ronald L. Rivest,Robert E. Tarjan.Time bounds for selection[J].Journal of Computer and System Sciences (JCSS),1973.

[5]Luis von Ahn,Benjamin Maurer,Colin McMillen,David Abraham,Manuel Blum.Recaptcha: Human-Based Character Recognition Via Web Security Measures[J].Science,2008.

人才培养

据2023年9月卡内基梅隆大学计算机学院数据,曼纽尔·布卢姆已培养毕业博士生35位。

曼纽尔·布卢姆引用阿纳托尔·弗朗斯的话,恳求学生们“对每件事都有所了解,对每件事都有所了解”。他敦促学生把读书当成随机存取的工具,不必从头到尾都读。他认为,如果我们只读而不写,我们就会沦为有限状态机,正是写作使我们成为全能的图灵机。他推崇约翰·肖·比林斯(John Shaw Billings)的建议:“首先,有话要说。第二,说出来。第三,说完了就停下来。”

曼纽尔·布卢姆2016年秋季教授本科课程—复杂性理论,2017年春季教授专题:理论密码学导论。

曼纽尔·布卢姆于1977年获得加州大学伯克利分校杰出教学奖,2007年获得赫伯特A.西蒙教学奖。

荣誉表彰

社会任职

曼纽尔·布卢姆曾担任加州大学伯克利分校电子工程与计算机科学系客座助理教授,1997年至1999年担任香港城市大学计算机科学系客座教授。

个人生活

曼纽尔·布卢姆的妻子是数学家莱诺·布卢姆(Lenore Blum),他们有一个儿子Avrim——卡内基梅隆大学计算机科学教授。

人物评价

他(曼纽尔·布卢姆)对计算复杂性理论的基础及其在密码学和程序检查中的应用做出了贡献(In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking)。(1995年图灵奖评)

(曼纽尔·布卢姆)对抽象复杂性理论、归纳推理、密码协议以及程序检查器的理论和应用作出了贡献(For contributions to abstract complexity theory, inductive inference, cryptographic protocols, and the theory and applications of program checkers)。(美国国家工程院评)

曼纽尔·布卢姆的研究生涯是非凡的。这不仅仅是因为他贡献的数量和影响,而是贯穿其中的那种明确无误的风格(The research career of Manuel Blum is extraordinary.It is not just the sheer number and impact of his contributions, it is the unmistakable style that runs through them)。(美国计算机协会评)

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}