卡內基梅隆大學計算機科學教授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被授予名譽法學博士學位。