這7點陣圖靈獎得主,竟然今日才入選ACM Fellow,他們可是程式設計師“祖師爺”
曉查 浩楠 發自 凹非寺
量子位 報導 | 公眾號 QbitAI
罕見!
7點陣圖靈獎得主、電腦科學多項基礎研究的關鍵大牛,竟然今日才成ACM Fellow……
要知道,ACM——美國計算機協會,全世界最知名、重要的計算機組織,而Fellow(會士)則是成員的最重要榮譽之一。
並且計算機領域的“諾貝爾獎”,也由ACM評選和頒發。
所以就在今天(2021年1月14日),當ACM的新入選Fellow名單公佈,7點陣圖靈獎得主在列的事實,令人意外。
而量子位進一步獲悉,原來這還是今年ACM專門新增了“特殊通道”,才讓這7點陣圖靈獎得主集體入選Fellow。
他們當中有Unix作業系統、Go語言發明者,也有快速排序演算法的提出者,堪稱程式設計師們的“祖師爺”陣容。
當然,相比去往年,今年新入選的ACM Fellow陣容也規模更甚,全球共計95名頂尖學者入選。
其中,超過13位華人學者在列,包括陳怡然、顏水成、周昆等知名大牛,而如果以單位來看,浙江大學則成為國內最矚目贏家。
哪7點陣圖靈獎得主?
Kenneth Tompson
入選理由:發展了作業系統理論,實現了UNIX作業系統
在程式設計師圈,大家稱他為“Ken”。
1960年,Ken Tompson就讀加州大學伯克利分校,主修電氣工程,1966年獲得電子工程碩士學位。
畢業後,他加入了貝爾實驗室。
為了能在電腦上玩遊戲,他並著手將自己的系統工具擴充套件成完整的作業系統,在上面實現了檔案系統、程式、裝置檔案、命令列直譯器等,
1970年,這個作業系統就是Unix。
在完成Unix系統開發的基本工作之後,他覺得Unix系統需要一個系統級的程式語言,於是創造了B語言,也就是後來C語言的前身。
1983年,他就因為發展了通用作業系統的理論,特別是實現了Unix作業系統,而獲得了圖靈獎。
1990年,他又因為Unix系統和C語言方面做出的貢獻,獲得了IEEE漢明獎。
2006年,時年63歲的Tompson進入谷歌工作,與他人共同設計了Go語言。
Michael O. Rabin
入選理由:對於非確定性自動機、機率自動機的引入以及對可計算性和計算複雜性理論的貢獻
Michael O. Rabin是以色列數學家和電腦科學家。
1959年,Rabin和Dana Scott共同發表了“有限自動機與其判定性問題”,兩人也因此獲得了1976年的圖靈獎。
1975年,Rabin發明了一種相當快速的隨機化演算法,用於判斷一個大數是否是素數,而快速素數檢驗是目前大部分公鑰密碼體系的關鍵。
1976年,Rabin獲得圖靈獎。
1987年,Rabin與他人提出了著名的字串搜尋演算法——Rabin-Karp演算法。
Tony Hoare
入選理由:程式設計理論及其在軟體工程實踐中的應用
Tony Hoare最知名的工作是在1960年提出的快速排序演算法。
他還提出了計算機領域著名的哲學家就餐問題,併發明用來作為同步程式的監視器(Monitors)以解決這個問題。
此外他的貢獻還有:Hoare邏輯,occam程式語言等等。
1980年,Tony Hoare獲得圖靈獎。
Manuel Blum
入選理由:表彰他對計算複雜性理論的基礎及其在密碼學和程式檢查應用所做的貢獻。
60年代,Manuel Blum提出了了一種獨立於具體機器模型的公理複雜性理論。該理論以哥德爾數論和布盧姆公理為基礎。
儘管這套理論理論不涉及任何機器模型應用,但從中卻發展出了壓縮定理、間隙定理、誠實定理和布盧姆加速定理等等。
Manuel Blum其他工作包括中值的中值(一種線性時間選擇演算法)、Blum Shub偽隨機數生成器、Blum-Goldwasser密碼系統,以及最近的CAPTCHA。
1995年,Manuel Blum獲得圖靈獎。
Adi Shamir
入選理由:對密碼學領域的貢獻
Adi Shamir,以色列電腦科學家。RSA加密演算法發明者。
除了RSA,Shamir在密碼學方面的其他眾多發明和貢獻還包括Shamir秘密共享方案、破解Merkle-Hellman knapsack密碼系統、視覺密碼學、TWIRL和TWINKLE分解裝置。
20世紀80年代末,他與Eli Biham一起發現了微分密碼分析,這是一種攻擊塊密碼的通用方法。
Shamir在密碼學以外的電腦科學方面也做出了貢獻,比如開發了第一個雙可滿足性的線性時間演算法,並證明了複雜度類PSPACE和IP的等價性。
2002年,Adi Shamir獲得圖靈獎。
Whitfield Diffie和Martin Hellman
△Whitfield Diffie
△Martin Hellman
入選理由:發明非對稱公鑰加密技術,開發出一種實用的加密金鑰交換方法。
Whitfield Diffie和Martin Hellman,同為非對稱公鑰密碼發明者,2015年圖靈獎共同得主。兩人的論文《密碼學的新方向》發表於1976年。
論文中介紹了一種全新的密碼學金鑰分配方法,對解決密碼學的基本問題之一金鑰分配起到了至關重要的作用,它被稱為Diffie-Hellman金鑰交換,不過Hellman認為,由於Merkle的單獨貢獻,它應該被稱為Diffie-Hellman-Merkle金鑰交換。
他們的研究結果直接發展出了一類新的加密演算法的發展,這類演算法被稱為公鑰加密和非對稱加密。
2015nian年兩人同獲圖靈獎。
為啥圖靈獎得主今年才集體入選?
需要從評選ACM Fellow的流程、要求和標準講起。
據ACM官網公佈的評選規則,入選ACM Fellow的科學家,必須在被提名當年算起,之前10年內,有5年擔任ACM專業會員(Professional ACM membership)的經歷。
滿足資格後,將由現任資歷名望夠高的ACM專業會員發起提名。
被提名ACM Fellow,還需要另外5個ACM專業會員(不一定是ACM Fellow)的背書擔保,來證明候選人在研究領域的貢獻和成就。
而候選人本身,必須在技術和領導方面對計算機領域產生了持久的影響,比如:具體的理論或實踐成就,顯示出創新、獨創性和創造性。
技術領導力,提出新概念、新產品或新系統,推動計算機的發展。
擔任領導職務,為ACM或計算機界做出傑出貢獻。
當然,被提名人必須是自願參評,未徵得當事人同意的提名,是無效的。
提名提交後,由ACM委員會評估稽核。
這樣來看,ACM Fellow和同是ACM評選頒發的圖靈獎之間,並無任何直接或充分條件關係。
圖靈獎得主,不一定就是ACM Fellow。
但像今年這樣一下入選7點陣圖靈獎大佬,仍屬罕見。
據量子位從知情人士處獲悉,今年,ACM官方在評選Fellow時,特意搞了一個special group,把一部分之前從未入選的圖靈獎得主,一次全評了。
也算是相互都功德圓滿了。
另外,今年還有多位華人科學家入圍,具體如下:
哪13位華人學者入選?
張耀文-臺灣大學
入選理由:對EDA演算法的貢獻
張耀文是臺灣大學電機工程系特聘教授、電機資訊學院院長、IEEE Fellow。
他的主要領域是:電子設計自動化(EDA)、積體電路實體設計、積體電路可製造性設計。他也是首位非歐美的IEEE EDA理事會當選主席。
張耀文在臺灣大學獲得電腦科學和資訊工程學士學位,1993年和1996年分別在德克薩斯大學奧斯汀分校獲得電腦科學碩士學位和博士學位。
他是IEEE研究員,目前是IEEE EDA理事會(CEDA)的當選主席,這是第一位非美國/歐洲當選主席。
個人主頁:
陳怡然-杜克大學
入選理由:對非易失性儲存的貢獻
陳怡然是杜克大學電子與計算機工程系教授,杜克大學計算進化智慧中心主任,美國NSF新型可持續智慧計算中心主任,IEEE Fellow。
他的主要研究方向是:非易失性記憶體和儲存系統,機器學習與神經形態計算、移動計算。
陳怡然在清華大學獲得本科及碩士學位,並於2005年在普渡大學獲得博士學位。
博士畢業後,陳怡然先後進入新思科技與希捷。在工業界工作五年後,他於2010年加入匹茲堡大學任助理教授並於2014年晉升為副教授,之後又獲終身教職並任“雙百年校友“講席。
2019年7月,陳怡然加入杜克大學,成為該校計算進化智慧中心主任。
陳怡然發表過一本專著及超過三百篇學術論文,獲得過93項美國專利,並出任過多本IEEE和ACM期刊編委以及超過40個國際會議的組織與技術委員會主席和委員。陳怡然教授曾經獲得6次國際會議最佳論文以及12次最佳論文提名。
個人主頁:
https://ece.duke.edu/faculty/yiran-chen
任奎-浙江大學
入選理由:對無線系統安全和雲資料安全做出的貢獻
任奎是浙江大學求是講席教授,目前擔任浙江大學網路空間安全學院院長、電腦科學與技術學院副院長、計算機創新技術研究院執行院長、IEEE Fellow、ACM傑出科學家。
其主要研究領域是:雲安全、物聯網安全與隱私保護等。
2018年,阿里巴巴和浙江大學聯合成立“AZFT網路空間安全實驗室”,現由任奎與阿里安全部首席演算法專家陸全領銜。
個人主頁:
申恆濤-電子科技大學
入選理由:對大型多媒體內容理解、索引和檢索做出的貢獻
申恆濤現任電子科技大學電腦科學與工程學院院長、人工智慧研究院執行院長,他還是美國光學學會會士和ACM傑出會員。
他一直從事最前沿的電腦科學研究,研究方向包括多媒體搜尋,計算機視覺,人工智慧,和大資料管理。
個人主頁:
https://faculty.uestc.edu.cn/shenhengtao/zh_CN/index.htm
陶宇飛-香港中文大學
入選理由:對大規模資料處理演算法做出的貢獻
陶宇飛是香港中文大學電腦科學與工程系教授,同時也是復旦大學客座教授,長期從事資料庫演算法的理論基礎研究,2016年被選為ACM傑出科學家。
2013年和2015年,他分別兩次在資料庫系統頂級會議SIGMOD上獲得最佳論文獎。
陶宇飛研究的宗旨是開發“小而甜”(small-and-sweet)的演算法。小是指易於實現,便於在實踐中部署;甜是指有重要的理論保證。
個人主頁:
https://www.cse.cuhk.edu.hk/~taoyf/
王偉-UCLA
入選理由:對資料探勘的基礎和實踐做出的貢獻
王偉是加州大學洛杉磯分校電腦科學和計算醫學教授,也是該校可擴充套件分析研究所(ScAi)的主任。
她的研究領域是:大資料分析和建模、資料庫系統、自然語言處理、生物資訊學、計算生物學以及計算醫學。
王偉1994年在南開大學獲得電腦科學學士學位,之後前往UCLA攻讀電腦科學博士學位,並在畢業後進入北卡羅來納大學教堂山分校任教,後來又回到UCLA。
1999年至2002年期間,她曾任IBM沃森研究中心研究員,其中連續2年獲得了IBM發明成就獎。
個人主頁:
~weiwang/
周昆-浙江大學
入選理由:對計算機圖形學的貢獻
周昆,1977年出生於湖南岳陽,2002年獲浙江大學工學博士學位。現任浙江大學計算機輔助設計與圖形學國家重點實驗室主任。
教育部長江學者特聘教授,國家傑出青年科學基金獲得者,國際電氣電子工程師協會會士(IEEE Fellow)。
研究領域為計算機圖形學、計算機視覺、人機互動和虛擬現實。
在ACM/IEEE Transactions上發表論文80餘篇,論文引用1萬餘次,獲得發明專利50餘項。
周昆教授提出了真實感圖形中常用資料結構的並行構造與訪問方法,建立了適合於GPU的真實感圖形並行繪製流水線,設計了經典繪製演算法的高效GPU並行方法,並開發了具有自主智慧財產權的真實感圖形並行繪製軟體。
這些成果首次展示了以互動級速度實現電影級真實感圖形繪製的可行性,引領了學術界基於GPU的真實感圖形並行繪製的研究方向,為工業界開發基於GPU的真實感圖形繪製系統奠定了基礎。
個人主頁:
李學龍-西北工業大學
入選理由:對高階資料的計算和學習做出的貢獻
李學龍,中國科學技術大學畢業,西北工業大學教授。
李學龍教授還擔任西安光學精密機械研究所研究員、博導,瞬態國家重點實驗室副主任,光學影像分析與學習中心主任,中國科學院光譜成像技術重點實驗室副主任。主要工作領域是影像及影片處理和模式識別的應用研究。
在工程與計算兩個領域入選全球高被引學者。入選美國科學促進會會士(AAAS Fellow)、美國光學學會會士(OSA Fellow)、國際光學工程學會會士(SPIE Fellow)、國際電氣電子工程師協會會士(IEEE Fellow)、國際模式識別學會會士(IAPR Fellow)等。
個人主頁:
顏水成
入選理由:對視覺化內容理解技術和應用的貢獻
顏水成,1995年進入北大數學系,師從程乾生教授,本碩博均就讀於北大,2004年獲得北京大學數學博士學位。
2001年,顏水成進入微軟亞洲研究院實習,2004 年博士畢業後,顏水成離開微軟亞洲研究院,先在香港中文大學從事人臉識別相關研究,兩年後前往伊利諾伊大學香檳分校(UIUC)從事博士後研究,師從美國工程院院士、計算機視覺華人教授黃煦濤 (Thomas Huang)。
2007 年,顏水成入職新加坡國立大學,創立機器學習與計算機視覺實驗室,擁有終身教職。
顏水成博士團隊提出的「Network in Network」(NIN)網路結構的核心 1×1 卷積是近年來幾乎所有計算機視覺深度學習模型的標準模組,在學術界和工業界影響深遠,其思想也被後期的 GoogleNet、殘差網路(ResNet)等模型所採用。
2015年9月,顏水成準備赴任研究院院長及360首席科學家。
2019年,顏水成正式加入依圖科技,任CTO。
2021年1月,顏水成被曝離開依圖,加入騰訊旗下東南亞電商品牌Shopee。
呂晨陽-華盛頓大學
呂晨陽教授,分別於1995年、1997年獲得中科院電腦科學學士、碩士學位。2001年獲得弗吉尼亞大學博士學位。
入選理由:對自適應實時系統、實時虛擬化和無線資訊物理系統的貢獻
目前是聖路易斯華盛頓大學電腦科學與工程系的Fullgraf教授,他的研究方向是嵌入式和實時系統、網路物理系統、物聯網、移動醫療和臨床人工智慧。
呂晨陽教授開發並試執行了世界上第一個大規模的臨床監測系統。
他在實時系統方面的貢獻包括自適應實時中介軟體、工業無線感測器執行器網路和實時虛擬化技術,這些技術已被納入全球主流系統軟體中。
呂晨陽教授已發表論文200多篇,被引用次數超過23000次,h-index為71,2011年至2017年擔任ACM Transactions on Sensor Networks主編,
2018年至2019年擔任IEEE實時系統技術委員會(TCRTS)主席。
個人主頁:
~lu/
Cathy H. Wu-特拉華大學
入選理由:對生物資訊學、計算生物學、知識挖掘和語義資料整合的貢獻
Cathy H. Wu,現任特拉華大學工程和計算機系主任、生物資訊學和計算生物學中心(CBCB)主任。
Cathy H. Wu博士擁有生物科學和電腦科學雙科背景。
她於1978年於台灣國立臺灣大學獲得植物病理學學士。
1984、1986年又分別在普渡大學、密歇根州立大學獲得植物病理學博士學位。
1989年,她又在得州大學泰勒分校取得計算機碩士學位。
Cathy H. Wu從事生物資訊學和資料科學研究25年,研究領域包括基因組和蛋白質註釋、生物醫學文字挖掘、生物醫學本體論、基因-疾病-藥物網路建模和大資料分析。領導了全球幾個生物資訊學資源的開發,包括蛋白質資訊資源和國際UniProt聯盟。
個人主頁:
Wang Yi-瑞典烏普薩拉大學
Wang Yi,現任瑞典烏普薩拉大學資訊科技系教授。
入選理由:對實時系統的自動分析和驗證做出貢獻
Wang Yi 於1982年在東北大學獲得計算機工程學士學位。1991年在瑞典查爾姆斯理工大學獲博士學位。
主要研究方向為CPS的設計與動態更新,安全關鍵型嵌入式系統,實時系統,實時排程,建模與驗證。
個人主頁:
~yi/
Steven H. Low-加州理工學院
Steven H. Low,現任加州理工學院計算機與數學科學系和電氣工程系教授,同時也是浙江大學客座教授。
入選理由:對於網際網路擁堵控制和智慧電網最佳化的理論基礎和實際部署
Steven H. Low於1987年在康奈爾大學獲學士學位,1992年於加州大學伯克利分校獲博士學位。
Steven H. Low以研究網際網路擁塞控制、演算法和電力系統最佳化的理論和數學建模而聞名 。
Low開創了網際網路等大規模網路在端到端擁塞控制下的數學理論,對資源分配、路由選擇和網路架構都有影響,並基於這一數學理論設計了一種新的擁塞控制演算法FAST TCP,建立了獨特的測試平臺WAN-in-Lab,打破了資料傳輸的世界紀錄。
他的工作對改變擁堵控制研究和陸地速度記錄競賽的重點,從引數調整到演算法設計和分析起到了重要作用。
目前,他的研究開始關注未來智慧電網的分散式能源資源的控制和最佳化。
個人主頁:
谷歌5人、微軟4人入選,浙大成國內最大贏家
谷歌入選的5位學者與獲獎理由分別是:
Sanjay Ghemawat:分散式系統設計
Steven Gribble:跨叢集、伺服器和網路的虛擬化技術
Andrew Tomkins:理解網路和基於網路的社交網路
Ravi Kumar:網路科學建模、分析和演算法
Kenneth Lane Thompson:作業系統理論的發展、實現UNIX作業系統
微軟入選的5位學者與獲獎理由分別是:
David Maltz,網路基礎架構,包括資料中心網路,網路作業系統和雲網路
Nachiappan Nagappan,經驗軟體工程和資料驅動的軟體開發
Meredith Ringel Morris,人機互動、資訊檢索、計算機支援的協作工作和可訪問性
Andrew D. Gordon,程式語言的原理、邏輯、可用性和可信賴性
而國內的高校機構中,入選人數最多的是浙江大學,其中包括任奎、周昆,還有客座教授Steven H. Low。
原文連結:
來自 “ ITPUB部落格 ” ,連結:http://blog.itpub.net/69971123/viewspace-2750151/,如需轉載,請註明出處,否則將追究法律責任。
相關文章
- 程式設計界 12 位祖師爺級別的 “大牛”程式設計
- 為了醫療AI,他們做出了一個“違背祖師爺”的決定AI
- 首批程式設計師他們是如何程式設計的?程式設計師
- 圖靈獎得主Leslie Lamport教你如何用數學思維程式設計圖靈LAMP程式設計
- 計算機架構的新黃金時代,兩點陣圖靈獎得主最新力作計算機架構圖靈
- 程式設計師不是砌磚工人,他們是作家程式設計師
- 圖靈社群--程式設計師的家圖靈程式設計師
- 他的名字是Linus,他是所有程式設計師們的上帝程式設計師
- Windows Phone 7 點陣圖程式設計Windows程式設計
- 你們不能這樣招聘程式設計師程式設計師
- @程式設計師鄒欣 訪談問題有獎徵集(圖靈訪談)程式設計師圖靈
- 給那些笨笨的不會追女孩的程式設計師老爺們程式設計師
- 很多程式設計師程式設計時都戴耳機?他們在聽什麼程式設計師
- 分享“程式設計師人生指南”贏圖靈圖書!程式設計師圖靈
- 幽默:當程式設計師不想解釋他們做了什麼程式設計師
- 讓程式設計師乾的爽,他們肯定願意留下程式設計師
- 非科班程式設計師才不知道的矩陣Matrix程式設計師矩陣
- Susan Lammers:與程式設計大師們的對話(圖靈訪談)程式設計圖靈
- 巔峰對話——圖靈獎得主共話機器學習圖靈機器學習
- 新手才靠靈感,阿里設計師用這2方法提升設計創新力阿里
- 61歲老大爺應聘Java程式設計師Java程式設計師
- 程式設計師程式設計入門,物件導向需要知道這6點!程式設計師物件
- 程式設計師方陣程式設計師
- 程式設計師,告訴他們被打斷的真實代價程式設計師
- 程式設計師 告訴他們被打斷的真實代價程式設計師
- [英]Susan Lammers:與程式設計大師們的對話(圖靈訪談)程式設計圖靈
- ACM公佈了2017年圖靈獎得主:榮譽屬於體系架構ACM圖靈架構
- 交易系統先鋒、圖靈獎得主 Jim Gray圖靈
- 《奇思妙想》人物篇--圖靈獎得主概覽圖靈
- 程式設計師們你們辛苦啦程式設計師
- 這些程式語言程式設計師工資最高!Java才第四程式設計師Java
- 月薪20k的web前端開發程式設計師,他們都會的這6招Web前端程式設計師
- 程式設計師們,你們再這樣下去會沒朋友的程式設計師
- 圖靈獎背後:他們 30 年前就選對了賽道,押對了場景圖靈
- 程式設計師才看得明白的面試聖經程式設計師面試
- 萬萬沒想到,程式設計師的一天竟然是這樣....程式設計師
- 誰來關心我們這些程式設計師 (轉)程式設計師
- 圖靈獎得主 Bengio:深度學習不會被取代圖靈深度學習