當前位置 主頁 > 站長資源大全 > iis7百科 > 最大化 縮小

    曼紐爾·布盧姆——計算機復雜性理論奠基人

    欄目:iis7百科 時間:2019-11-20 09:57

      Manuel Blum是卡耐基梅隆大學的計算機科學教授,并且是計算復雜性理論的主要創始人之一。他是密碼學和程序驗證領域的先驅,在理論計算機科學領域享有盛譽。 1995年,他認識到他對計算復雜性的理論基礎的貢獻以及對計算復雜性理論在密碼學中的應用的貢獻。
      曼紐爾·布盧姆出生在委內瑞拉的加拉加斯,他的父母在20世紀30年代逃離歐洲后定居在那里。20世紀50年代中期他來到美國,在麻省理工學院學習。在學習電氣工程的同時,布盧姆還在沃倫·S·麥卡洛奇和沃爾特·皮特的神經生理學實驗室工作,來追求理解思維和大腦工作原理的愿望。他說過,“我與神童相反”——他在小時候就想知道大腦是如何工作的,原因是他想變得更聰明。后來,他專注于數學邏輯和遞歸理論,以獲得對大腦和思維的洞察力。他在人工智能先驅馬文·明斯基的指導下,于1964年獲得了麻省理工學院數學博士學位。
      布盧姆在麻省理工學院開始了他的數學教學生涯,1968年,他加入了加州大學伯克利分校。2001年,他接受了卡內基梅隆大學的現職。布盧姆和他培養的博士生,在理論計算機科學領域做出了許多突破性貢獻,被認為是一個傳奇。
      布盧姆除了在計算復雜性理論方面作出了開創性貢獻以外,還致力于將這一理論應用于對計算機系統的安全性和通信的安全性有十分重要意義的“密碼學”以及在“軟件工程”中十分重要而又十分困難的程序正確性驗證方面,并且取得了令人矚目的成就。1989年5月,他和同事SampathKannan在西雅圖召開的21屆ACM計算理論專題研討會上所提交的一篇論文中,首次提出了ProChecker的概念,并綜合利用密碼學、概率算法和程序測試、概率交互證明等手段解決程序正確性驗證這一難題,把這一領域的研究推進了一大步。有興趣的讀者可參閱他們發表在J.ACM1995年1月號上的論文DesigningProgramsthatCheckTheirWork。大家知道,Intel公司在推出其著名的奔騰微處理器Pentium。以后不久,被人發現該處理器的除法運算存在一個細微問題,從而引起了一場軒然大波。布盧姆和他的學生瓦塞曼(H.Wasserman)仔細地研究和分析了這個問題,提出了解決方案和應吸取的教訓。他們的有關論文 ReflectionsonthePentiumDivisionBug刊載于IEEETrans.onComputer,1996年4月。在軟件可靠性方面,布盧姆1997年發表的“具有運行期結果校驗的軟件的可靠性”一文也很值得重視。
777亚洲人成视频免费视频