计算复杂性的奠基人: “图灵奖”获得者Manuel Blum

加菲熊UID：103463

计算复杂性的奠基人: “图灵奖”获得者Manuel Blum


送交者: leejones 2003年3月16日00:20:23 于 [教育与学术]http://www.bbsland.com  

  
“图灵奖”获得者Manuel Blum


　　“计算机已成为我们家庭的事业”——当代著名的计算机专家Lenore Blum这样说——这位可敬的女士是卡内基-梅隆大学的计算机科学杰出成就教授和美国国家科学基金(NSF)ALADDIN(算法的自适应、分解与集成)中心的主任，也是计算复杂性的奠基人、理论计算机学大师Manuel Blum的夫人。

　　把Blum夫妇从加州大学伯克利分校“挖”过来，这是卡内基-梅隆大学计算机系的巨大
收获——卡内基-梅隆大学计算机系向来以应用计算机科学(机器人，语言翻译，程序语言)闻名于世，而Blum夫妇的加盟则大大加强了其在理论计算机方面的威望，一个很小的事例可以看出Blum夫妇的影响力：2001年，在美国国家科学基金1.56亿美元IT研究拨款中，卡内基-梅隆大学得到了2400万美元——而在卡内基-梅隆大学的总共14个受资助项目中，最大的一个是得到550万美元的“阿拉丁项目”。Blum一家三口(Manuel Blum与Lenore Blum的儿子麻省理工学院博士Avrim Blum也在此和父母并肩战斗)均是此项目的研究人员。对理论研究项目来说，550万美元捐赠是个天文数字。Blum一家在学术界的崇高地位由此可见一斑。

　　Manuel Blum的研究兴趣包括计算机、物理、逻辑、复杂性理论、算法、保密协议和机器学习等等。他目前的研究兴趣包括CAPTCHA和HUMANAUT项目。

　　CAPTCHA是Completely Automated Public Turing Test to Tell Computers and Humans Apart (全自动区分计算机和人类的图灵测试)的简称。一个CAPTCHA是任何一个能区分计算机和人类的程序。这种程序必须能生成并评价人类能很容易通过但计算机却通不过的测试。这个要求本身就是悖论，因为这意味着一个CAPTCHA必须能生成一个它自己不能通过的测试。

　　究竟是否存在一个人类能通过但计算机不能通过的测试？Manuel相信总有一天计算机能通过所有人类能通过的测试。然而，在那天来到之前，CAPTCHA仍然会存在，而且这些测试肯定有其实际用途。

　　1995年，美国计算机学会(ACM)把该年度的图灵奖颁给了Manuel Blum，理由是“Manuel奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献”——当时Blum夫妇仍在加州大学伯克里分校任教。

　　从1968年开始，Blum夫妇一直在伯克里从事计算机学术研究，Manuel在那里发明了Blum定律，Lenore则在排斥任用女科学家的伯克里做到了数学研究所的副主任——那么，这对夫妇何以会放弃熟悉的环境，回到匹兹堡，接受卡内基-梅隆大学的邀请呢？一方面是因为Lenore曾在卡内基技术学院师从计算机学先驱Alan Perlis教授，夫妇俩一致认为卡内基-梅隆大学是一个特别的地方——而且他们的儿子Avrim也在此任职；另一方面则与他们1996年的香港之旅密切相关：那年，Lenore来到香港与同事合著学术著作并在香港大学当访问教授。Manuel一同前来，还学到了一口流利的广东话。

　　香港之旅改变了一切。“我们发现了伯克利以外的生活，这使我们眼界大开”，Lenore说——他们决定离开伯克里，转投卡内基-梅隆大学。这使他们可以置身于计算机的前沿学院，可以与儿孙团聚。更重要的，对于Lenore来说，这还意味着一个机会，她有机会帮助更多的妇女加入计算机和数学领域研究中来。

　　多年来，Lenore一直致力于争取妇女在数学界的地位，她是美国先进科学协会(American Association for the Advancement of Science, AAAS)会员，美国数学会前副主席，和妇女数学协会的前任主席。“妇女学计算机的比例在过去十年中在急剧下降”，Lenore说，但在卡内基梅隆大学，由于学校的努力，妇女在计算机系学生中的比例由1995的7%提高到了2001年的近40%。

　　同事们认为，Lenore精力充沛，会成为Blum一家中最著名的一位。但Manuel和Lenore并不这么认为。“将来，我们仅仅会被记住是Avrim的父母。”

　　2002年10月，由微软亚洲研究院发起的“21世纪的计算”研讨会将在中国北京和广州隆重开幕。据悉，此次盛会上将邀请到当今世界计算机科学领域顶尖专家的莅临，而Blum夫妇也将亲赴盛会并作学术报告。有机会一睹当代“居里夫妇”的大师风范，对于北京及粤港计算机学界和广大科技爱好者来说，这不啻为一件幸事。

　　得知自己有机会来北京和广州参加此次“二十一世纪的计算”学术研讨会，Blum夫妇高兴异常。除了可以借此机会为中美学术交流做些事，夫妇俩也打算去攀登中国的万里长城。