卡内基梅隆大学计算机科学教授Manuel Blum小传

Manuel Blum，1938年4月26日生于委内瑞拉首都加拉加斯。Blum是卡内基梅隆大学计算机科学教授，也是世界上理论计算机学大师。他被选举成为美国国家科学院（National Academy of Sciences）的成员，这对于任何一位美国的科学家或是工程师来说都是最高的荣誉。

Blum是计算的复杂性理论的奠基人之一，该理论可以应用于密码术及程序校验。1995年，Blum在美国伯克利的加州大学的事业非常辉煌，并于同年在那里以奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获得计算机领域中的最高奖项：图灵奖。 1999年，Blum来到卡内基梅隆大学做客座教授。2001年秋天，他正式获得了卡内基梅隆的教授职位。从他早期关于计算的内在局限性的研究开始，Blum的工作就围绕着一个统一的主题展开，那就是发现在一个所有计算资源全是有限的世界里生存的实际结果。他指出，由于所有的计算的设备资源有限，安全的商业交易和假的随机数发生都是可能的。

Blum研究兴趣包括计算机、物理、逻辑、复杂性理论、算法、保密协议和机器学习等等。而他在计算机科学方面的兴趣则尤为突出，因此，他在Warren S. McCulloch和Walter Pitts的神经生理学实验室工作了几年，在Marvin Minsky.的领导下研究人工智能。空余时间，Blum经常思考什么是知觉，我们的电脑和机器人能有知觉吗？他们能像我们一样感知到疼痛吗？他们也需要睡觉和做梦吗？这些问题都是难以捉摸的，但是他认为是时候该来解决他们了。

Blum解决这些问题的途径是通过CAPTCHA项目，即“全自动区分计算机和人类的图灵测试（Completely Automated Public Turing Test）”。一个CAPTCHA是任何一个能区分计算机和人类的程序。这些程序能够进行人类可以轻松就过关而计算机却不能的测试。这几乎是一个荒谬的要求，因为这意味着CAPTCHA必须能生成并评价人类能很容易通过但计算机却通不过的测试。何况一个人类能通过而计算机不能的测试真的存在吗？Ｂlum认为，总有一天计算机能通过所有人类能通过的测试，但是在那一天到来之前，CAPTCHA是可以存在的。而且这些测试有着确定的效用，例如该测试被Yahoo用于确保在网站上登陆获取email帐号的是人类而不是机器人。

卡内基梅隆大学校长Jared Cohon说：“Manuel Blum在计算机科学学院做了20年努力，另外，Manuel Blum除了是一位在计算理论方面最具创造性的科学家之一，他还是个鼓舞士气的人，计算机科学领域最伟大的顾问之一。 计算机科学学院的院长James Morris说道：“Manuel多年以来一直是计算机科学领域中一股具有创造性的力量，他也将继续使我们的智力环境变的更加生动。”他曾经给过至少29名学生建议，在他的鼓励下，这些学生多数走向社会并开创了计算机科学的新领域。

Manuel Blum曾在麻省理工学院学习，1959年和1961年他分别在那里获得了学士学位和硕士学位，并于1964年获得了博士学位。

他和他的妻子——著名的计算机教授Lenore Blum与卡内基梅隆有着不解之缘，20世纪五十年代末期，Lenore就在当时的卡内基科技学院上大学，念建筑学。后来，1991年，他们的儿子Avrim成为了那里计算机科学学科的副教授，也因此一家人都走进了卡内基梅隆大学。因此，Blum夫妇被誉为计算机领域的“居里夫妇”，Blum一家也是卡内基梅隆大学的计算机世家。Blum说，“能加入这个国家最好的计算机科学系的机会是一个‘结合物’：Jim Morris的盛情邀请，加上能和Avrim以及他的家庭团聚，包括我们的第三代——Alex和Aaron，是所有这些因素把我们带到了匹兹堡。”

到去年秋天为止，为了从国家科学基金会（NSF）赢得价值560万美元的信息技术研究（ITR）的承认，Blum全家把他们在计算机科学理论方面的专门技术与几个理论工作组的同事们共享，其中包括Guy Blelloch, Daniel Sleator和副教授 Ramamoorthi Ravi。该项基金是为了帮助支持算法的自适应、分解与集成（ALgorithm ADaption, DIssemination and Integration）中心，能够使其受这560万美元资助的“阿拉丁（Aladdin）计划”更广为人知。其目标是把运算法则以一个更及时的方式送到那些潜在的用户手中。

Blum是美国国家科学院所选出的，认为在该年独创研究方面做出了卓越、持续成就的72名新成员之一，他在国家科学院的这一当选，使卡内基梅隆大学的成员数量增加到了7名，其他几位分别是John R. Anderson, Stephen Fienberg, James McClelland, Dana Scott, Robert Griffiths 以及Lincoln Wolfenstein。

美国国家科学院，成立于1863年，给政府提供有关遍及于政策决定中的科学问题的建议。

卡内基梅隆大学计算机科学教授Lenore Blum小传

Lenore Blum，年仅十六岁时就在委内瑞拉首都加拉加斯念完了高中，接着考入了匹兹堡卡内基大学的建筑系。在她大二那年，把主修专业改为了数学（她真正的爱好所在），并且另外选修了雕塑和设计。 大三时，因为觉得当时所学的数学课程还不具足够的挑战性，Blum又在波士顿的女子学院Simmons注册入学。1960年，在计算机学先驱Alan Perlis的鼓励下，Blum加入了他的技术学院。他们用TASS（Perlis的汇编语言）编写程序，在IBM650（在GSIA的地下室里）上通宵运行。然而，Perlis的汇编语言经常存在一些学生们所不知但又未能解决的问题。1961年，Blum去了马萨诸塞州的剑桥，完全沉浸于数学上的研究。 1968年，Blum当上了麻省理工学院的数学博导（那是值得纪念的一年，因为普林斯顿大学在那一年第一次允许女性参与他们的研究项目）。之后，她以数学博士后和讲师的身份去了UC Berkeley 。1973年，她又成为Mills College教员中的一份子，第二年，Blum在那里创建了数学与计算机科学系，并做了十三年的领军人物。1979年，Blum获得了Mills的第一个Letts-Villard教授职位。

1983年，Blum获得了美国国家科学基金会（NSF）事业进步奖，这使得她能够与Mike Shub一起从事长时间的科学协作。接下来的两年里，她在纽约CUNY研究生中心做客座教授，1987年，又再次回到纽约，在IBM TJ Watson研究中心做客座科学家。

1988年，Blum加入了在加利福尼亚州的伯克利新成立的理论组织：国际制式计算机科学研究院（ICSI）。1992至1996年间，她还在一向排斥任用女科学家的伯克利的数学科学研究院做到了副主任。

1996年至1998年，Blum在香港大学的数学与计算机科学系担任了两年客座教授，期间在那里经历了香港回归这一重要的历史事件。她的学术著作：《 计算复杂性理论和计算方法（Complexity and Real Computation）》也在那里完成，共同完成这本著作的还有Felipe Cucker, Mike Shub和 Steve Smale，此外，香港大学数学系的一些在校大学生也参与了该书的修订过程。

1999年秋，Blum由伯克利转投卡内基-梅隆大学，加入了那里计算机科学系的教师队伍，成为那里的计算机科学杰出成就教授。更令她和她的丈夫高兴的是，他们可以和他们的儿子Avrim在那里并肩战斗。后来，Lenore Blum和Guy Blelloch一同担任美国国家科学基金（NSF）ALADDIN（算法的自适应、分解与集成）中心的主任，算法的自适应、分解与集成最根本的目标是改善把强大的运算法则合并为应用域的过程。

Lenore Blum的研究工作，从早期的模型论和其他领域（逻辑学和代数学）到她现在与Shub和Smale开发的在真实数字计算和计算复杂性理论（数学及计算机科学），都是关注于合并那些表面上看起来毫不相干的领域。她把这些研究内容写入了博士论文中，并因此获得了奖学金。她的另外一个想法则写进了她和她的丈夫Manuel共同完成的一篇论文里，该计划的大概内容是设计一种可以根据例子学习的计算机，就像个小孩子似的。1990年，她在于京都举办的国际数学家大会上做了有关后者研究的报告。在美国、欧洲、中国、东南亚、前苏联、拉丁美洲以及非洲，Blum都曾被先后邀请在国际会议上做报告。

多年来，Lenore Blum一直致力于争取妇女在数学界的地位，并因其帮助更多的妇女加入计算机和数学领域研究中来的工作而知名。她先后帮助成立了妇女数学联合会（1975至1978年间任其主席）、数学/科学 网（当时，那是"女孩们的数学"，是为能使女孩们在课下解决问题、提高在逻辑学和数学方面的兴趣而设计的。现在，它的来自对其感兴趣的科学家和教育家的信息已经以讨论会和讲座的形式在全国范围内传播开来。）以及专为高中女生的"扩展你的地平线"（1975至1981年间任其联合董事），还在面向大学女生的Mills Summer数学研究院做co-PI。在卡内基梅隆大学，Blum在Women@SCS上做指导老师，还是校长多样性咨询委员会的成员。 除此以外，Blum还致力于提高公众对数学的理解和认识。为了美国科学发展协会（AAAS）在华盛顿召开的Y2K会议，Blum组织了为期一天的关于"数学的合理效力（第一部分：好莱巫、工业、日常生活中的数学；第二部分：计算复杂性理论和计算方法（以21世纪为例））"的座谈会。

在Blum的职业生涯中，她一直都是其专业学会中活跃的一分子，在理事会工作，1990年至1992年还任美国数学学会的副主席。1991年夏天，Blum代表美国数学学会出席了在肯尼亚首都内罗毕召开的泛非数学家大会，之后，她便做起在美国和非洲的数学团体间建立沟通桥梁的工作，1998~1999年，她担任美国科学发展协会数学部的主席。

除了以上提到的这些，Blum的职业生涯中还有一个闪光点，即在1989年至1991年担任了《代数与算法杂志（International Journal of Algebra and Computation）》的第一位女编辑。

Blum自1979年起，即被选举为美国科学发展协会的成员，到1999年六月，在Mills College数学与计算机科学系成立25周年的纪念大会上，Blum被授予名誉法学博士学位。