曼紐爾·布盧姆 - 生平簡介

曼紐爾·布盧姆（ManuelBlum），1938年4月26日生于委內(nèi)瑞拉首都加拉加斯。Blum是計算的復(fù)雜性理論的奠基人之一，該理論可以應(yīng)用于密碼術(shù)及程序校驗。1995年，Blum在美國伯克利的加州大學(xué)的事業(yè)非常輝煌，并于同年在那里以奠定了計算復(fù)雜性理論的基礎(chǔ)和在密碼術(shù)及程序校驗方面的貢獻(xiàn)而獲得計算機(jī)領(lǐng)域中的最高獎項：圖靈獎。 1999年，Blum來到卡內(nèi)基梅隆大學(xué)做客座教授。2001年秋天，他正式獲得了卡內(nèi)基梅隆的教授職位。從他早期關(guān)于計算的內(nèi)在局限性的研究開始，Blum的工作就圍繞著一個統(tǒng)一的主題展開，那就是發(fā)現(xiàn)在一個所有計算資源全是有限的世界里生存的實(shí)際結(jié)果。他指出，由于所有的計算的設(shè)備資源有限，安全的商業(yè)交易和假的隨機(jī)數(shù)發(fā)生都是可能的。
 Blum研究興趣包括計算機(jī)、物理、邏輯、復(fù)雜性理論、算法、保密協(xié)議和機(jī)器學(xué)習(xí)等等。而他在計算機(jī)科學(xué)方面的興趣則尤為突出，因此，他在WarrenS.McCulloch和WalterPitts的神經(jīng)生理學(xué)實(shí)驗室工作了幾年，在 MarvinMinsky.的領(lǐng)導(dǎo)下研究人工智能�？沼鄷r間，Blum經(jīng)常思考什么是知覺，我們的電腦和機(jī)器人能有知覺嗎？他們能像人一樣進(jìn)行思考嗎？
Blum解決這些問題的途徑是通過CAPTCHA項目，即“全自動區(qū)分計算機(jī)和人類的圖靈測試（CompletelyAutomatedPublicTuringTest）”。一個CAPTCHA是任何一個能區(qū)分計算機(jī)和人類的程序。這些程序能夠進(jìn)行人類可以輕松就過關(guān)而計算機(jī)卻不能的測試。這幾乎是一個荒謬的要求，因為這意味著CAPTCHA必須能生成并評價人類能很容易通過但計算機(jī)卻通不過的測試。何況一個人類能通過而計算機(jī)不能的測試真的存在嗎？Blum認(rèn)為，總有一天計算機(jī)能通過所有人類能通過的測試，但是在那一天到來之前，CAPTCHA是可以存在的。而且這些測試有著確定的效用，例如該測試被Yahoo用于確保在網(wǎng)站上登陸獲取email帳號的是人類而不是機(jī)器人。
 卡內(nèi)基梅隆大學(xué)校長JaredCohon說：“ManuelBlum在計算機(jī)科學(xué)學(xué)院做了20年努力，另外，ManuelBlum除了是一位在計算理論方面最具創(chuàng)造性的科學(xué)家之一，他還是個鼓舞士氣的人，計算機(jī)科學(xué)領(lǐng)域最偉大的顧問之一。計算機(jī)科學(xué)學(xué)院的院長JamesMorris說道：“Manuel多年以來一直是計算機(jī)科學(xué)領(lǐng)域中一股具有創(chuàng)造性的力量，他也將繼續(xù)使我們的智力環(huán)境變的更加生動。”他曾經(jīng)給過至少29名學(xué)生建議，在他的鼓勵下，這些學(xué)生多數(shù)走向社會并開創(chuàng)了計算機(jī)科學(xué)的新領(lǐng)域。
 ManuelBlum曾在麻省理工學(xué)院學(xué)習(xí)，1959年和1961年他分別在那里獲得了學(xué)士學(xué)位和碩士學(xué)位，并于1964年獲得了博士學(xué)位。

曼紐爾·布盧姆 - 主要貢獻(xiàn)

1.計算機(jī)復(fù)雜性理論

1995年度的圖靈獎授予加州大學(xué)伯克利分校的計算機(jī)科學(xué)家曼紐爾·布盧姆（ManuelBlum）。布盧姆是計算復(fù)雜性理論的主要奠基人之一。在此之前，已有5位科學(xué)家因為在計算復(fù)雜性理論方面的貢獻(xiàn)而獲此殊榮，他們是：拉賓（1976年）、庫克（1982年）、卡普（1985年）、哈特馬尼斯和（1993年）。在圖靈獎34年的歷史上，這是獲獎科學(xué)家最多的一個分支領(lǐng)域，由此可見計算復(fù)雜性作為基礎(chǔ)性分支在計算機(jī)科學(xué)中的突出地位及其重要性。
計算復(fù)雜性的研究始于20世紀(jì)50年代末60年代初，當(dāng)時在美國有兩個并行的中心，一個是通用電氣公司設(shè)立于紐約州斯克內(nèi)克塔迪（Schenectady）的研究實(shí)驗室，核心人物是哈特馬尼斯（J．Hartmanis）和斯特恩斯（R．Stearns）。1964年11月，他們在普林斯頓舉行的第五屆開關(guān)電路理論和邏輯設(shè)計學(xué)術(shù)年會上發(fā)表了論文Computationalcomplexityofrecursivesequences（遞歸序列的計算復(fù)雜性），論文中首次使用了“計算復(fù)雜性” 這一術(shù)語，由此開辟了計算機(jī)科學(xué)中的一個新領(lǐng)域，并為之奠定了理論基礎(chǔ)。他們兩人是1993年度圖靈獎獲得者。另一個中心是麻省理工學(xué)院MIT，在那里，布盧姆與前述兩人互相獨(dú)立地進(jìn)行著相關(guān)問題的研究，并完成了他的博士論文：Amachiceindependenttheoryofthecomplexityofrecursivefunctions(與機(jī)器無關(guān)的遞歸函數(shù)復(fù)雜性的理論)，該論文的詳細(xì)摘要1967年發(fā)表于J．ACM14（2），322～336頁。
實(shí)際上，布盧姆是受以色列學(xué)者拉賓（M.O.Rabin）的啟發(fā)而開始這方面的研究的。拉賓是希伯萊大學(xué)的教授，是研究計算復(fù)雜性問題的先驅(qū)，并在1976年榮獲圖靈獎。拉賓在1959－1960年間就發(fā)表過一些關(guān)于計算復(fù)雜性方面的論文和丘吉，可惜流傳的面較小，影響不大。但MIT“ 慧眼識英雄”，邀請拉賓前來講學(xué)。布盧姆當(dāng)時正苦于沒有適當(dāng)?shù)恼n題作博士論文，聽了拉賓的講座極感興趣，當(dāng)即決定沿此方向進(jìn)行研究，其結(jié)果就是完成了上述博士論文。布盧姆的論文不但提出了有關(guān)計算復(fù)雜性的一些分理，而且在對復(fù)雜性類的歸納上也比其他學(xué)者有更高的抽象度。因此學(xué)術(shù)界公認(rèn)，布、哈、斯三人是計算復(fù)雜性理論的主要奠基人。

2.密碼系統(tǒng)和程序檢驗

布盧姆除了在計算復(fù)雜性理論方面作出了開創(chuàng)性貢獻(xiàn)以外，還致力于將這一理論應(yīng)用于對計算機(jī)系統(tǒng)的安全性和通信的安全性有十分重要意義的“密碼學(xué)”以及在“軟件工程”中十分重要而又十分困難的程序正確性驗證方面，并且取得了令人矚目的成就。1989年5月，他和同事SampathKannan在西雅圖召開的21屆ACM計算理論專題研討會上所提交的一篇論文中，首次提出了ProChecker的概念，并綜合利用密碼學(xué)、概率算法和程序測試、概率交互證明等手段解決程序正確性驗證這一難題，把這一領(lǐng)域的研究推進(jìn)了一大步。有興趣的讀者可參閱他們發(fā)表在J．ACM1995年1月號上的論文DesigningProgramsthatCheckTheirWork。大家知道，Intel公司在推出其著名的奔騰微處理器Pentium。以后不久，被人發(fā)現(xiàn)該處理器的除法運(yùn)算存在一個細(xì)微問題，從而引起了一場軒然大波。布盧姆和他的學(xué)生瓦塞曼（H．Wasserman）仔細(xì)地研究和分析了這個問題，提出了解決方案和應(yīng)吸取的教訓(xùn)。他們的有關(guān)論文 ReflectionsonthePentiumDivisionBug刊載于IEEETrans.onComputer，1996年4月。在軟件可靠性方面，布盧姆1997年發(fā)表的“具有運(yùn)行期結(jié)果校驗的軟件的可靠性”（Softwarreliabilitywithrun－timeresult- checking,J．ACM，1997年11月，826-849頁）一文也很值得重視。

曼紐爾·布盧姆 - 家庭生活

他和他的妻子——著名的計算機(jī)教授LenoreBlum與卡內(nèi)基梅隆有著不解之緣，20世紀(jì)五十年代末期，Lenore就在當(dāng)時的卡內(nèi)基科技學(xué)院上大學(xué)念建筑學(xué)。后來，1991年，他們的兒子Avrim成為了那里計算機(jī)科學(xué)學(xué)科的副教授，也因此一家人都走進(jìn)了卡內(nèi)基梅隆大學(xué)。因此，Blum夫婦被譽(yù)為計算機(jī)領(lǐng)域的“居里夫婦”，Blum 一家也是卡內(nèi)基梅隆大學(xué)的計算機(jī)世家。Blum說，“能加入這個國家最好的計算機(jī)科學(xué)系的機(jī)會是一個‘結(jié)合物’：JimMorris的盛情邀請，加上能和 Avrim以及他的家庭團(tuán)聚，包括我們的第三代——Alex和Aaron，是所有這些因素把我們帶到了匹茲堡�！�
 到2005年秋天為止，為了從國家科學(xué)基金會（NSF）贏得價值560萬美元的信息技術(shù)研究（ITR）的承認(rèn)，Blum全家把他們在計算機(jī)科學(xué)理論方面的專門技術(shù)與幾個理論工作組的同事們共享，其中包括 GuyBlelloch,DanielSleator和副教授RamamoorthiRavi。該項基金是為了幫助支持算法的自適應(yīng)、分解與集成中心，能夠使其受這560萬美元資助的“阿拉�。ˋladdin）計劃”更廣為人知。其目標(biāo)是把運(yùn)算法則以一個更及時的方式送到那些潛在的用戶手中。 Blum 是美國國家科學(xué)院所選出的，認(rèn)為在該年獨(dú)創(chuàng)研究方面做出了卓越、持續(xù)成就的72名新成員之一，他在國家科學(xué)院的這一當(dāng)選，使卡內(nèi)基梅隆大學(xué)的成員數(shù)量增加到了7名，其他幾位分別是JohnR.Anderson,StephenFienberg和 JamesMcClelland,DanaScott,RobertGriffiths以及LincolnWolfenstein。

曼紐爾·布盧姆 - 其它活動

2002年10月18日，由微軟亞洲研究院和國家自然科學(xué)基金委員會聯(lián)合舉辦的第四屆“二十一世紀(jì)的計算”大型國際學(xué)術(shù)研討會在北大百年紀(jì)念堂舉行，本次會議主題為“高信度計算”。ManuelBlum博士做了關(guān)于“慵懶的密碼學(xué)專家們是如何做人工智能的”精彩演講。
主要內(nèi)容與他們二人正在進(jìn)行的CAPTCHA項目有關(guān)。CAPTCHA是“全自動計算區(qū)分人與計算機(jī)系統(tǒng)”的縮寫。CAPTCHA這個項目的目的是區(qū)分計算機(jī)和人類，可以把它看成是一個衛(wèi)兵，它站在門口，如果要是一個人的話，那就請進(jìn)，要是電腦的話，那就對不起了，別想進(jìn)來。這里邊有一點(diǎn)自相矛盾的地方，這個程序能夠進(jìn)行這種測試，自己卻通不過這個測試。