曼紐爾·布盧姆(Manuel Blum),1938年4月26日出生于委內瑞拉加拉加斯。畢業于麻省理工學院,獲數學博士學位。委內瑞拉-美國數學家和計算機科學家,美國國家工程院院士,1995年圖靈獎得主。卡耐基·梅隆大學布魯斯·納爾遜計算機科學教授。2023年世界頂尖科學家論壇演講嘉賓。
1966年,曼紐爾·布盧姆擔任麻省理工學院數學助理教授。其后于1968年任職于加利福尼亞大學伯克利分校電子工程與計算機科學系。1995年,曼紐爾·布盧姆因“其對計算復雜性理論的基礎及其在密碼學和實際應用的貢獻”而獲圖靈獎。2001年,曼紐爾·布盧姆加入美國國籍,次年當選為美國國家科學院院士。曼紐爾·布盧姆的研究方向為計算復雜性、自動機理論、算法、歸納推理:密碼學、程序結果檢查、人機交互證明。2024年7月,曼紐爾·布盧姆參加2024世界人工智能大會。
截至2023年,曼紐爾·布盧姆發表學術論文73篇、專利12篇、科研項目9篇。他曾獲1991年西格瑪·希的莫尼·a·弗斯獎、2007年赫伯特A.西蒙教學獎等獎項。
人物經歷
教育經歷
曼紐爾·布盧姆,1938年4月26日出生于委內瑞拉加拉加斯。1959年獲得麻省理工學院電機工程學學士,1961年獲得麻省理工學院電氣工程碩士學位,1964年獲得麻省理工學院數學博士學位。
工作經歷
1960年,曼紐爾·布盧姆擔任麻省理工學院電子研究實驗室沃倫·麥卡洛克博士的研究助理和實驗室研究助理,并于1966年擔任麻省理工學院數學助理教授。
1968年,曼紐爾·布盧姆就職于加利福尼亞大學伯克利分校電子工程與計算機科學系,歷任客座助理教授、副教授、教授。
1977年,曼紐爾·布盧姆擔任加州大學伯克利分校計算機科學系副主任。
1995年,曼紐爾·布盧姆擔任加州大學伯克利分校阿瑟·奇克計算機科學教授。同年,他因“其對計算復雜性理論的基礎及其在密碼學和實際應用的貢獻”而獲圖靈獎。
2001年,曼紐爾·布盧姆加入美國國籍,次年當選為美國國家科學院院士,
并于2006年當選為美國國家工程院院士。
2017年12月27日至2018年1月3日,曼紐爾·布盧姆訪問哈爾濱工業大學。
2020年初,在北京大學“外籍訪問學者前沿性本科英文課程”項目的支持下,曼紐爾·布盧姆通過網絡平臺首次開設“有意識的圖靈機:認知與計算科學”短期課程。同年6月15日,北京大學為曼紐爾·布盧姆頒發北京大學訪問講席教授聘書。
2024年7月4日,曼紐爾·布盧姆與圖靈獎得主羅杰·瑞迪、姚期智,在2024世界人工智能大會暨人工智能全球治理高級別會議上與原微軟執行副總裁、美國國家工程院外籍院士沈向洋一同圍繞人工智能治理協同創新的話題進行了討論。
社會任職
科學研究
研究方向
曼紐爾·布盧姆的研究方向為計算復雜性、自動機理論、算法、歸納推理:密碼學、程序結果檢查、人機交互證明。
學術成果
布盧姆加速定理(Blum’s Speedup Theorem)是關于可計算函數復雜性的一個重要命題;布盧姆公理提供了一種與機器無關的方法來理解計算的復雜性,計算過程可以由人或者計算機完成;探索了安全商業交易、偽隨機數生成、程序檢查,以及用于檢測機器人入侵者的驗證碼等。
截至2023年10月,據AMiner平臺數據顯示,曼紐爾·布盧姆已發表學術論文73篇、專利12篇、科研項目9篇。
主要論文
專利
科研項目
人才培養
理念
曼紐爾·布盧姆要求學生對每件事都有所了解,并且要把讀書當成隨機存取的工具,不必從頭到尾都讀。他認為,如果只讀而不寫,就會淪為有限狀態機。
課程
個人生活
曼紐爾·布盧姆在加利福尼亞大學伯克利分校任教期間,娶了數學家貝蘭妮·布盧姆(Lenore Blum),并為她寫了一首俳句詩:“尊重她的請求就好像/你的生活依賴于它/它確實如此。”其后,他們有了一個兒子Avrim,任職于卡耐基·梅隆大學計算機科學教授。
榮譽獎項
參考資料:
人物評價
曼紐爾·布盧姆對計算復雜性理論的基礎及其在密碼學和程序檢查中的應用作出了貢獻。(1995年圖靈獎評)
曼紐爾·布盧姆對抽象復雜性理論、歸納推理、密碼協議以及程序檢查器的理論和應用作出了貢獻。(美國國家工程院評)
曼紐爾·布盧姆教授是密碼系統和程序檢驗先驅,計算復雜性理論的主要奠基人之一。(北京大學前沿計算研究中心評)
參考資料 >
30位世界頂尖科學家15位諾獎得主,傾情解讀震撼發聲.澎湃新聞.2023-10-28
Manuel Blum.卡內基梅隆大學.2023-10-29
曼紐爾·布魯姆的簡歷.北京大學前沿計算研究中心.2023-10-29
Manuel Blum.ACM.2023-10-29
Awards.卡內基梅隆大學.2023-10-29
圖靈獎得主曼紐爾·布盧姆教授等兩位學者北京大學聘任儀式暨學術講座舉行.北京大學前沿計算研究中心.2023-10-29
演講嘉賓.世界頂尖科學家論壇.2023-10-29
曼紐爾·布盧姆.北京大學前沿計算研究中心.2023-10-29
沈向洋對話圖靈獎得主:這個時代的AI治理挑戰與機遇并存.騰訊網.2024-07-04
曼紐爾·布盧姆.AMiner.2023-10-29
Dr. Manuel Blum.National Academy of Engineering.2023-10-29
圖靈獎獲得者曼紐爾?布魯姆教授夫婦訪問我校.哈爾濱工業大學.2023-10-29
2021年Blum教授主講“有意識的圖靈機”課程小結.北京大學前沿計算研究中心.2023-10-29
Teaching.卡內基梅隆大學.2023-10-29