曼紐爾·布盧姆
人物經(jīng)歷
曼紐爾·布盧姆曼紐爾·布盧姆（ManuelBlum），1938年4月26日生于委內(nèi)瑞拉首都加拉加斯。Blum是計(jì)算的復(fù)雜性理論的奠基人之一，該理論可以應(yīng)用于密碼術(shù)及程序校驗(yàn)。1995年，Blum在美國伯克利的加州大學(xué)的事業(yè)非常輝煌，并于同年在那里以奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)和在密碼術(shù)及程序校驗(yàn)方面的貢獻(xiàn)而獲得計(jì)算機(jī)領(lǐng)域中的最高獎(jiǎng)項(xiàng)：圖靈獎(jiǎng)。 1999年，Blum來到卡內(nèi)基梅隆大學(xué)做客座教授。2001年秋天，他正式獲得了卡內(nèi)基梅隆的教授職位。從他早期關(guān)于計(jì)算的內(nèi)在局限性的研究開始，Blum的工作就圍繞著一個(gè)統(tǒng)一的主題展開，那就是發(fā)現(xiàn)在一個(gè)所有計(jì)算資源全是有限的世界里生存的實(shí)際結(jié)果。他指出，由于所有的計(jì)算的設(shè)備資源有限，安全的商業(yè)交易和假的隨機(jī)數(shù)發(fā)生都是可能的。Blum研究興趣包括計(jì)算機(jī)、物理、邏輯、復(fù)雜性理論、算法、保密協(xié)議和機(jī)器學(xué)習(xí)等等。而他在計(jì)算機(jī)科學(xué)方面的興趣則尤為突出，因此，他在WarrenS.McCulloch和WalterPitts的神經(jīng)生理學(xué)實(shí)驗(yàn)室工作了幾年，在 MarvinMinsky.的領(lǐng)導(dǎo)下研究人工智能?？沼鄷r(shí)間，Blum經(jīng)常思考什么是知覺，我們的電腦和機(jī)器人能有知覺嗎？他們能像人一樣進(jìn)行思考嗎？Blum解決這些問題的途徑是通過CAPTCHA項(xiàng)目，即“全自動(dòng)區(qū)分計(jì)算機(jī)和人類的圖靈測(cè)試（CompletelyAutomatedPublicTuringTest）”。一個(gè)CAPTCHA是任何一個(gè)能區(qū)分計(jì)算機(jī)和人類的程序。這些程序能夠進(jìn)行人類可以輕松就過關(guān)而計(jì)算機(jī)卻不能的測(cè)試。這幾乎是一個(gè)荒謬的要求，因?yàn)檫@意味著CAPTCHA必須能生成并評(píng)價(jià)人類能很容易通過但計(jì)算機(jī)卻通不過的測(cè)試。何況一個(gè)人類能通過而計(jì)算機(jī)不能的測(cè)試真的存在嗎？Blum認(rèn)為，總有一天計(jì)算機(jī)能通過所有人類能通過的測(cè)試，但是在那一天到來之前，CAPTCHA是可以存在的。而且這些測(cè)試有著確定的效用，例如該測(cè)試被Yahoo用于確保在網(wǎng)站上登陸獲取email帳號(hào)的是人類而不是機(jī)器人?？▋?nèi)基梅隆大學(xué)校長JaredCohon說：“ManuelBlum在計(jì)算機(jī)科學(xué)學(xué)院做了20年努力，另外，ManuelBlum除了是一位在計(jì)算理論方面最具創(chuàng)造性的科學(xué)家之一，他還是個(gè)鼓舞士氣的人，計(jì)算機(jī)科學(xué)領(lǐng)域最偉大的顧問之一。計(jì)算機(jī)科學(xué)學(xué)院的院長JamesMorris說道：“Manuel多年以來一直是計(jì)算機(jī)科學(xué)領(lǐng)域中一股具有創(chuàng)造性的力量，他也將繼續(xù)使我們的智力環(huán)境變的更加生動(dòng)。”他曾經(jīng)給過至少29名學(xué)生建議，在他的鼓勵(lì)下，這些學(xué)生多數(shù)走向社會(huì)并開創(chuàng)了計(jì)算機(jī)科學(xué)的新領(lǐng)域。ManuelBlum曾在麻省理工學(xué)院學(xué)習(xí)，1959年和1961年他分別在那里獲得了學(xué)士學(xué)位和碩士學(xué)位，并于1964年獲得了博士學(xué)位。
科研成就
計(jì)算機(jī)復(fù)雜性理論
尤里斯·哈特馬尼斯 理查德·斯特恩斯1995年度的圖靈獎(jiǎng)授予加州大學(xué)伯克利分校的計(jì)算機(jī)科學(xué)家曼紐爾·布盧姆（ManuelBlum）。布盧姆是計(jì)算復(fù)雜性理論的主要奠基人之一。在此之前，已有5位科學(xué)家因?yàn)樵谟?jì)算復(fù)雜性理論方面的貢獻(xiàn)而獲此殊榮，他們是：拉賓（1976年）、庫克（1982年）、卡普（1985年）、哈特馬尼斯和（1993年）。在圖靈獎(jiǎng)34年的歷史上，這是獲獎(jiǎng)科學(xué)家最多的一個(gè)分支領(lǐng)域，由此可見計(jì)算復(fù)雜性作為基礎(chǔ)性分支在計(jì)算機(jī)科學(xué)中的突出地位及其重要性。
計(jì)算復(fù)雜性的研究始于20世紀(jì)50年代末60年代初，當(dāng)時(shí)在美國有兩個(gè)并行的中心，一個(gè)是通用電氣公司設(shè)立于紐約州斯克內(nèi)克塔迪（Schenectady）的研究實(shí)驗(yàn)室，核心人物是哈特馬尼斯（J．Hartmanis）和斯特恩斯（R．Stearns）。1964年11月，他們?cè)谄樟炙诡D舉行的第五屆開關(guān)電路理論和邏輯設(shè)計(jì)學(xué)術(shù)年會(huì)上發(fā)表了論文Computationalcomplexityofrecursivesequences（遞歸序列的計(jì)算復(fù)雜性），論文中首次使用了“計(jì)算復(fù)雜性” 這一術(shù)語，由此開辟了計(jì)算機(jī)科學(xué)中的一個(gè)新領(lǐng)域，并為之奠定了理論基礎(chǔ)。他們兩人是1993年度圖靈獎(jiǎng)獲得者。另一個(gè)中心是麻省理工學(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é)的教授，是研究計(jì)算復(fù)雜性問題的先驅(qū)，并在1976年榮獲圖靈獎(jiǎng)。拉賓在1959－1960年間就發(fā)表過一些關(guān)于計(jì)算復(fù)雜性方面的論文和丘吉，可惜流傳的面較小，影響不大。但MIT“ 慧眼識(shí)英雄”，邀請(qǐng)拉賓前來講學(xué)。布盧姆當(dāng)時(shí)正苦于沒有適當(dāng)?shù)恼n題作博士論文，聽了拉賓的講座極感興趣，當(dāng)即決定沿此方向進(jìn)行研究，其結(jié)果就是完成了上述博士論文。布盧姆的論文不但提出了有關(guān)計(jì)算復(fù)雜性的一些分理，而且在對(duì)復(fù)雜性類的歸納上也比其他學(xué)者有更高的抽象度。因此學(xué)術(shù)界公認(rèn)，布、哈、斯三人是計(jì)算復(fù)雜性理論的主要奠基人。
密碼系統(tǒng)和程序檢驗(yàn)
布盧姆除了在計(jì)算復(fù)雜性理論方面作出了開創(chuàng)性貢獻(xiàn)以外，還致力于將這一理論應(yīng)用于對(duì)計(jì)算機(jī)系統(tǒng)的安全性和通信的安全性有十分重要意義的“密碼學(xué)”以及在“軟件工程”中十分重要而又十分困難的程序正確性驗(yàn)證方面，并且取得了令人矚目的成就。1989年5月，他和同事SampathKannan在西雅圖召開的21屆ACM計(jì)算理論專題研討會(huì)上所提交的一篇論文中，首次提出了ProChecker的概念，并綜合利用密碼學(xué)、概率算法和程序測(cè)試、概率交互證明等手段解決程序正確性驗(yàn)證這一難題，把這一領(lǐng)域的研究推進(jìn)了一大步。有興趣的讀者可參閱他們發(fā)表在J．ACM1995年1月號(hào)上的論文DesigningProgramsthatCheckTheirWork。大家知道，Intel公司在推出其著名的奔騰微處理器Pentium。以后不久，被人發(fā)現(xiàn)該處理器的除法運(yùn)算存在一個(gè)細(xì)微問題，從而引起了一場(chǎng)軒然大波。布盧姆和他的學(xué)生瓦塞曼（H．Wasserman）仔細(xì)地研究和分析了這個(gè)問題，提出了解決方案和應(yīng)吸取的教訓(xùn)。他們的有關(guān)論文 ReflectionsonthePentiumDivisionBug刊載于IEEETrans.onComputer，1996年4月。在軟件可靠性方面，布盧姆1997年發(fā)表的“具有運(yùn)行期結(jié)果校驗(yàn)的軟件的可靠性”（Softwarreliabilitywithrun－timeresult- checking,J．ACM，1997年11月，826-849頁）一文也很值得重視。
個(gè)人生活
布盧姆一家他和他的妻子——著名的計(jì)算機(jī)教授LenoreBlum與卡內(nèi)基梅隆有著不解之緣，20世紀(jì)五十年代末期，Lenore就在當(dāng)時(shí)的卡內(nèi)基科技學(xué)院上大學(xué)念建筑學(xué)。后來，1991年，他們的兒子Avrim成為了那里計(jì)算機(jī)科學(xué)學(xué)科的副教授，也因此一家人都走進(jìn)了卡內(nèi)基梅隆大學(xué)。因此，Blum夫婦被譽(yù)為計(jì)算機(jī)領(lǐng)域的“居里夫婦”，Blum 一家也是卡內(nèi)基梅隆大學(xué)的計(jì)算機(jī)世家。Blum說，“能加入這個(gè)國家最好的計(jì)算機(jī)科學(xué)系的機(jī)會(huì)是一個(gè)‘結(jié)合物’：JimMorris的盛情邀請(qǐng)，加上能和 Avrim以及他的家庭團(tuán)聚，包括我們的第三代——Alex和Aaron，是所有這些因素把我們帶到了匹茲堡?！钡?005年秋天為止，為了從國家科學(xué)基金會(huì)（NSF）贏得價(jià)值560萬美元的信息技術(shù)研究（ITR）的承認(rèn)，Blum全家把他們?cè)谟?jì)算機(jī)科學(xué)理論方面的專門技術(shù)與幾個(gè)理論工作組的同事們共享，其中包括 GuyBlelloch,DanielSleator和副教授RamamoorthiRavi。該項(xiàng)基金是為了幫助支持算法的自適應(yīng)、分解與集成中心，能夠使其受這560萬美元資助的“阿拉丁（Aladdin）計(jì)劃”更廣為人知。其目標(biāo)是把運(yùn)算法則以一個(gè)更及時(shí)的方式送到那些潛在的用戶手中。 Blum 是美國國家科學(xué)院所選出的，認(rèn)為在該年獨(dú)創(chuàng)研究方面做出了卓越、持續(xù)成就的72名新成員之一，他在國家科學(xué)院的這一當(dāng)選，使卡內(nèi)基梅隆大學(xué)的成員數(shù)量增加到了7名，其他幾位分別是JohnR.Anderson,StephenFienberg和 JamesMcClelland,DanaScott,RobertGriffiths以及LincolnWolfenstein。
社會(huì)活動(dòng)
曼紐爾·布盧姆精彩演講2002年10月18日，由微軟亞洲研究院和國家自然科學(xué)基金委員會(huì)聯(lián)合舉辦的第四屆“二十一世紀(jì)的計(jì)算”大型國際學(xué)術(shù)研討會(huì)在北大百年紀(jì)念堂舉行，本次會(huì)議主題為“高信度計(jì)算”。ManuelBlum博士做了關(guān)于“慵懶的密碼學(xué)專家們是如何做人工智能的”精彩演講。主要內(nèi)容與他們二人正在進(jìn)行的CAPTCHA項(xiàng)目有關(guān)。CAPTCHA是“全自動(dòng)計(jì)算區(qū)分人與計(jì)算機(jī)系統(tǒng)”的縮寫。CAPTCHA這個(gè)項(xiàng)目的目的是區(qū)分計(jì)算機(jī)和人類，可以把它看成是一個(gè)衛(wèi)兵，它站在門口，如果要是一個(gè)人的話，那就請(qǐng)進(jìn)，要是電腦的話，那就對(duì)不起了，別想進(jìn)來。這里邊有一點(diǎn)自相矛盾的地方，這個(gè)程序能夠進(jìn)行這種測(cè)試，自己卻通不過這個(gè)測(cè)試。