這7位圖靈獎(jiǎng)得主，竟然今日才入選ACM Fellow，他們可是程序員“祖師爺”

曉查 浩楠 發(fā)自 凹非寺
量子位 報(bào)道 | 公眾號(hào) QbitAI

罕見！

7位圖靈獎(jiǎng)得主、計(jì)算機(jī)科學(xué)多項(xiàng)基礎(chǔ)研究的關(guān)鍵大牛，竟然今日才成ACM Fellow……

要知道，ACM——美國(guó)計(jì)算機(jī)協(xié)會(huì)，全世界最知名、重要的計(jì)算機(jī)組織，而Fellow（會(huì)士）則是成員的最重要榮譽(yù)之一。

并且計(jì)算機(jī)領(lǐng)域的“諾貝爾獎(jiǎng)”，也由ACM評(píng)選和頒發(fā)。

所以就在今天（2021年1月14日），當(dāng)ACM的新入選Fellow名單公布，7位圖靈獎(jiǎng)得主在列的事實(shí)，令人意外。

而量子位進(jìn)一步獲悉，原來這還是今年ACM專門新增了“特殊通道”，才讓這7位圖靈獎(jiǎng)得主集體入選Fellow。

他們當(dāng)中有Unix操作系統(tǒng)、Go語言發(fā)明者，也有快速排序算法的提出者，堪稱程序員們的“祖師爺”陣容。

當(dāng)然，相比去往年，今年新入選的ACM Fellow陣容也規(guī)模更甚，全球共計(jì)95名頂尖學(xué)者入選。

其中，超過13位華人學(xué)者在列，包括陳怡然、顏水成、周昆等知名大牛，而如果以單位來看，浙江大學(xué)則成為國(guó)內(nèi)最矚目贏家。

哪7位圖靈獎(jiǎng)得主？

Kenneth Tompson

入選理由：發(fā)展了操作系統(tǒng)理論，實(shí)現(xiàn)了UNIX操作系統(tǒng)

在程序員圈，大家稱他為“Ken”。

1960年，Ken Tompson就讀加州大學(xué)伯克利分校，主修電氣工程，1966年獲得電子工程碩士學(xué)位。

畢業(yè)后，他加入了貝爾實(shí)驗(yàn)室。

為了能在電腦上玩游戲，他并著手將自己的系統(tǒng)工具擴(kuò)展成完整的操作系統(tǒng)，在上面實(shí)現(xiàn)了文件系統(tǒng)、進(jìn)程、設(shè)備文件、命令行解釋器等，

1970年，這個(gè)操作系統(tǒng)就是Unix。

在完成Unix系統(tǒng)開發(fā)的基本工作之后，他覺得Unix系統(tǒng)需要一個(gè)系統(tǒng)級(jí)的編程語言，于是創(chuàng)造了B語言，也就是后來C語言的前身。

1983年，他就因?yàn)榘l(fā)展了通用操作系統(tǒng)的理論，特別是實(shí)現(xiàn)了Unix操作系統(tǒng)，而獲得了圖靈獎(jiǎng)。

1990年，他又因?yàn)閁nix系統(tǒng)和C語言方面做出的貢獻(xiàn)，獲得了IEEE漢明獎(jiǎng)。

2006年，時(shí)年63歲的Tompson進(jìn)入谷歌工作，與他人共同設(shè)計(jì)了Go語言。

Michael O. Rabin

入選理由：對(duì)于非確定性自動(dòng)機(jī)、概率自動(dòng)機(jī)的引入以及對(duì)可計(jì)算性和計(jì)算復(fù)雜性理論的貢獻(xiàn)

Michael O. Rabin是以色列數(shù)學(xué)家和計(jì)算機(jī)科學(xué)家。

1959年，Rabin和Dana Scott共同發(fā)表了“有限自動(dòng)機(jī)與其判定性問題”，兩人也因此獲得了1976年的圖靈獎(jiǎng)。

1975年，Rabin發(fā)明了一種相當(dāng)快速的隨機(jī)化算法，用于判斷一個(gè)大數(shù)是否是素?cái)?shù)，而快速素?cái)?shù)檢驗(yàn)是目前大部分公鑰密碼體系的關(guān)鍵。

1976年，Rabin獲得圖靈獎(jiǎng)。

1987年，Rabin與他人提出了著名的字符串搜索算法——Rabin-Karp算法。

Tony Hoare

入選理由：編程理論及其在軟件工程實(shí)踐中的應(yīng)用

Tony Hoare最知名的工作是在1960年提出的快速排序算法。

他還提出了計(jì)算機(jī)領(lǐng)域著名的哲學(xué)家就餐問題，并發(fā)明用來作為同步程序的監(jiān)視器（Monitors）以解決這個(gè)問題。

此外他的貢獻(xiàn)還有：Hoare邏輯，occam編程語言等等。

1980年，Tony Hoare獲得圖靈獎(jiǎng)。

Manuel Blum

入選理由：表彰他對(duì)計(jì)算復(fù)雜性理論的基礎(chǔ)及其在密碼學(xué)和程序檢查應(yīng)用所做的貢獻(xiàn)。

60年代，Manuel Blum提出了了一種獨(dú)立于具體機(jī)器模型的公理復(fù)雜性理論。該理論以哥德爾數(shù)論和布盧姆公理為基礎(chǔ)。

盡管這套理論理論不涉及任何機(jī)器模型應(yīng)用，但從中卻發(fā)展出了壓縮定理、間隙定理、誠(chéng)實(shí)定理和布盧姆加速定理等等。

Manuel Blum其他工作包括中值的中值（一種線性時(shí)間選擇算法）、Blum Shub偽隨機(jī)數(shù)生成器、Blum-Goldwasser密碼系統(tǒng)，以及最近的CAPTCHA。

1995年，Manuel Blum獲得圖靈獎(jiǎng)。

Adi Shamir

入選理由：對(duì)密碼學(xué)領(lǐng)域的貢獻(xiàn)

Adi Shamir，以色列計(jì)算機(jī)科學(xué)家。RSA加密算法發(fā)明者。

除了RSA，Shamir在密碼學(xué)方面的其他眾多發(fā)明和貢獻(xiàn)還包括Shamir秘密共享方案、破解Merkle-Hellman knapsack密碼系統(tǒng)、視覺密碼學(xué)、TWIRL和TWINKLE分解裝置。

20世紀(jì)80年代末，他與Eli Biham一起發(fā)現(xiàn)了微分密碼分析，這是一種攻擊塊密碼的通用方法。

Shamir在密碼學(xué)以外的計(jì)算機(jī)科學(xué)方面也做出了貢獻(xiàn)，比如開發(fā)了第一個(gè)雙可滿足性的線性時(shí)間算法，并證明了復(fù)雜度類PSPACE和IP的等價(jià)性。

2002年，Adi Shamir獲得圖靈獎(jiǎng)。

Whitfield Diffie和Martin Hellman

△Whitfield Diffie

△Martin Hellman

入選理由：發(fā)明非對(duì)稱公鑰加密技術(shù)，開發(fā)出一種實(shí)用的加密密鑰交換方法。

Whitfield Diffie和Martin Hellman，同為非對(duì)稱公鑰密碼發(fā)明者，2015年圖靈獎(jiǎng)共同得主。兩人的論文《密碼學(xué)的新方向》發(fā)表于1976年。

論文中介紹了一種全新的密碼學(xué)密鑰分配方法，對(duì)解決密碼學(xué)的基本問題之一密鑰分配起到了至關(guān)重要的作用，它被稱為Diffie-Hellman密鑰交換，不過Hellman認(rèn)為，由于Merkle的單獨(dú)貢獻(xiàn)，它應(yīng)該被稱為Diffie-Hellman-Merkle密鑰交換。

他們的研究結(jié)果直接發(fā)展出了一類新的加密算法的發(fā)展，這類算法被稱為公鑰加密和非對(duì)稱加密。

2015nian年兩人同獲圖靈獎(jiǎng)。

為啥圖靈獎(jiǎng)得主今年才集體入選？

需要從評(píng)選ACM Fellow的流程、要求和標(biāo)準(zhǔn)講起。

據(jù)ACM官網(wǎng)公布的評(píng)選規(guī)則，入選ACM Fellow的科學(xué)家，必須在被提名當(dāng)年算起，之前10年內(nèi)，有5年擔(dān)任ACM專業(yè)會(huì)員（Professional ACM membership）的經(jīng)歷。

滿足資格后，將由現(xiàn)任資歷名望夠高的ACM專業(yè)會(huì)員發(fā)起提名。

被提名ACM Fellow，還需要另外5個(gè)ACM專業(yè)會(huì)員（不一定是ACM Fellow）的背書擔(dān)保，來證明候選人在研究領(lǐng)域的貢獻(xiàn)和成就。

 

• 而候選人本身，必須在技術(shù)和領(lǐng)導(dǎo)方面對(duì)計(jì)算機(jī)領(lǐng)域產(chǎn)生了持久的影響，比如：具體的理論或?qū)嵺`成就，顯示出創(chuàng)新、獨(dú)創(chuàng)性和創(chuàng)造性。
• 技術(shù)領(lǐng)導(dǎo)力，提出新概念、新產(chǎn)品或新系統(tǒng)，推動(dòng)計(jì)算機(jī)的發(fā)展。
• 擔(dān)任領(lǐng)導(dǎo)職務(wù)，為ACM或計(jì)算機(jī)界做出杰出貢獻(xiàn)。

 

當(dāng)然，被提名人必須是自愿參評(píng)，未征得當(dāng)事人同意的提名，是無效的。

提名提交后，由ACM委員會(huì)評(píng)估審核。

這樣來看，ACM Fellow和同是ACM評(píng)選頒發(fā)的圖靈獎(jiǎng)之間，并無任何直接或充分條件關(guān)系。

圖靈獎(jiǎng)得主，不一定就是ACM Fellow。

但像今年這樣一下入選7位圖靈獎(jiǎng)大佬，仍屬罕見。

據(jù)量子位從知情人士處獲悉，今年，ACM官方在評(píng)選Fellow時(shí)，特意搞了一個(gè)special group，把一部分之前從未入選的圖靈獎(jiǎng)得主，一次全評(píng)了。

也算是相互都功德圓滿了。

另外，今年還有多位華人科學(xué)家入圍，具體如下：

哪13位華人學(xué)者入選？

張耀文-臺(tái)灣大學(xué)

入選理由：對(duì)EDA算法的貢獻(xiàn)

張耀文是臺(tái)灣大學(xué)電機(jī)工程系特聘教授、電機(jī)資訊學(xué)院院長(zhǎng)、IEEE Fellow。

他的主要領(lǐng)域是：電子設(shè)計(jì)自動(dòng)化（EDA）、集成電路實(shí)體設(shè)計(jì)、集成電路可制造性設(shè)計(jì)。他也是首位非歐美的IEEE EDA理事會(huì)當(dāng)選主席。

張耀文在臺(tái)灣大學(xué)獲得計(jì)算機(jī)科學(xué)和信息工程學(xué)士學(xué)位，1993年和1996年分別在德克薩斯大學(xué)奧斯汀分校獲得計(jì)算機(jī)科學(xué)碩士學(xué)位和博士學(xué)位。

他是IEEE研究員，目前是IEEE EDA理事會(huì)（CEDA）的當(dāng)選主席，這是第一位非美國(guó)/歐洲當(dāng)選主席。

個(gè)人主頁：
https://www.ee.ntu.edu.tw/profile1.php?teacher_id=943001&p=3

陳怡然-杜克大學(xué)

入選理由：對(duì)非易失性存儲(chǔ)的貢獻(xiàn)

陳怡然是杜克大學(xué)電子與計(jì)算機(jī)工程系教授，杜克大學(xué)計(jì)算進(jìn)化智能中心主任，美國(guó)NSF新型可持續(xù)智能計(jì)算中心主任，IEEE Fellow。

他的主要研究方向是：非易失性內(nèi)存和存儲(chǔ)系統(tǒng)，機(jī)器學(xué)習(xí)與神經(jīng)形態(tài)計(jì)算、移動(dòng)計(jì)算。

陳怡然在清華大學(xué)獲得本科及碩士學(xué)位，并于2005年在普渡大學(xué)獲得博士學(xué)位。

博士畢業(yè)后，陳怡然先后進(jìn)入新思科技與希捷。在工業(yè)界工作五年后，他于2010年加入匹茲堡大學(xué)任助理教授并于2014年晉升為副教授，之后又獲終身教職并任“雙百年校友“講席。

2019年7月，陳怡然加入杜克大學(xué)，成為該校計(jì)算進(jìn)化智能中心主任。

陳怡然發(fā)表過一本專著及超過三百篇學(xué)術(shù)論文，獲得過93項(xiàng)美國(guó)專利，并出任過多本IEEE和ACM期刊編委以及超過40個(gè)國(guó)際會(huì)議的組織與技術(shù)委員會(huì)主席和委員。陳怡然教授曾經(jīng)獲得6次國(guó)際會(huì)議最佳論文以及12次最佳論文提名。

個(gè)人主頁：
https://ece.duke.edu/faculty/yiran-chen

任奎-浙江大學(xué)

入選理由：對(duì)無線系統(tǒng)安全和云數(shù)據(jù)安全做出的貢獻(xiàn)

任奎是浙江大學(xué)求是講席教授，目前擔(dān)任浙江大學(xué)網(wǎng)絡(luò)空間安全學(xué)院院長(zhǎng)、計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院副院長(zhǎng)、計(jì)算機(jī)創(chuàng)新技術(shù)研究院執(zhí)行院長(zhǎng)、IEEE Fellow、ACM杰出科學(xué)家。

其主要研究領(lǐng)域是：云安全、物聯(lián)網(wǎng)安全與隱私保護(hù)等。

2018年，阿里巴巴和浙江大學(xué)聯(lián)合成立“AZFT網(wǎng)絡(luò)空間安全實(shí)驗(yàn)室”，現(xiàn)由任奎與阿里安全部首席算法專家陸全領(lǐng)銜。

個(gè)人主頁：
https://person.zju.edu.cn/kuiren

申恒濤-電子科技大學(xué)

入選理由：對(duì)大型多媒體內(nèi)容理解、索引和檢索做出的貢獻(xiàn)

申恒濤現(xiàn)任電子科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院院長(zhǎng)、人工智能研究院執(zhí)行院長(zhǎng)，他還是美國(guó)光學(xué)學(xué)會(huì)會(huì)士和ACM杰出會(huì)員。

他一直從事最前沿的計(jì)算機(jī)科學(xué)研究，研究方向包括多媒體搜索，計(jì)算機(jī)視覺，人工智能，和大數(shù)據(jù)管理。

個(gè)人主頁:
https://faculty.uestc.edu.cn/shenhengtao/zh_CN/index.htm

陶宇飛-香港中文大學(xué)

入選理由：對(duì)大規(guī)模數(shù)據(jù)處理算法做出的貢獻(xiàn)

陶宇飛是香港中文大學(xué)計(jì)算機(jī)科學(xué)與工程系教授，同時(shí)也是復(fù)旦大學(xué)客座教授，長(zhǎng)期從事數(shù)據(jù)庫(kù)算法的理論基礎(chǔ)研究，2016年被選為ACM杰出科學(xué)家。

2013年和2015年，他分別兩次在數(shù)據(jù)庫(kù)系統(tǒng)頂級(jí)會(huì)議SIGMOD上獲得最佳論文獎(jiǎng)。

陶宇飛研究的宗旨是開發(fā)“小而甜”（small-and-sweet）的算法。小是指易于實(shí)現(xiàn)，便于在實(shí)踐中部署；甜是指有重要的理論保證。

個(gè)人主頁：
https://www.cse.cuhk.edu.hk/~taoyf/

王偉-UCLA

入選理由：對(duì)數(shù)據(jù)挖掘的基礎(chǔ)和實(shí)踐做出的貢獻(xiàn)

王偉是加州大學(xué)洛杉磯分校計(jì)算機(jī)科學(xué)和計(jì)算醫(yī)學(xué)教授，也是該?？蓴U(kuò)展分析研究所（ScAi）的主任。

她的研究領(lǐng)域是：大數(shù)據(jù)分析和建模、數(shù)據(jù)庫(kù)系統(tǒng)、自然語言處理、生物信息學(xué)、計(jì)算生物學(xué)以及計(jì)算醫(yī)學(xué)。

王偉1994年在南開大學(xué)獲得計(jì)算機(jī)科學(xué)學(xué)士學(xué)位，之后前往UCLA攻讀計(jì)算機(jī)科學(xué)博士學(xué)位，并在畢業(yè)后進(jìn)入北卡羅來納大學(xué)教堂山分校任教，后來又回到UCLA。

1999年至2002年期間，她曾任IBM沃森研究中心研究員，其中連續(xù)2年獲得了IBM發(fā)明成就獎(jiǎng)。

個(gè)人主頁：
http://web.cs.ucla.edu/~weiwang/

周昆-浙江大學(xué)

入選理由：對(duì)計(jì)算機(jī)圖形學(xué)的貢獻(xiàn)

周昆，1977年出生于湖南岳陽，2002年獲浙江大學(xué)工學(xué)博士學(xué)位。現(xiàn)任浙江大學(xué)計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室主任。

教育部長(zhǎng)江學(xué)者特聘教授，國(guó)家杰出青年科學(xué)基金獲得者，國(guó)際電氣電子工程師協(xié)會(huì)會(huì)士（IEEE Fellow）。

研究領(lǐng)域?yàn)橛?jì)算機(jī)圖形學(xué)、計(jì)算機(jī)視覺、人機(jī)交互和虛擬現(xiàn)實(shí)。

在ACM/IEEE Transactions上發(fā)表論文80余篇，論文引用1萬余次，獲得發(fā)明專利50余項(xiàng)。

周昆教授提出了真實(shí)感圖形中常用數(shù)據(jù)結(jié)構(gòu)的并行構(gòu)造與訪問方法，建立了適合于GPU的真實(shí)感圖形并行繪制流水線，設(shè)計(jì)了經(jīng)典繪制算法的高效GPU并行方法，并開發(fā)了具有自主知識(shí)產(chǎn)權(quán)的真實(shí)感圖形并行繪制軟件。

這些成果首次展示了以交互級(jí)速度實(shí)現(xiàn)電影級(jí)真實(shí)感圖形繪制的可行性，引領(lǐng)了學(xué)術(shù)界基于GPU的真實(shí)感圖形并行繪制的研究方向，為工業(yè)界開發(fā)基于GPU的真實(shí)感圖形繪制系統(tǒng)奠定了基礎(chǔ)。

個(gè)人主頁：
https://person.zju.edu.cn/kunzhou

李學(xué)龍-西北工業(yè)大學(xué)

入選理由：對(duì)高階數(shù)據(jù)的計(jì)算和學(xué)習(xí)做出的貢獻(xiàn)

李學(xué)龍，中國(guó)科學(xué)技術(shù)大學(xué)畢業(yè)，西北工業(yè)大學(xué)教授。

李學(xué)龍教授還擔(dān)任西安光學(xué)精密機(jī)械研究所研究員、博導(dǎo)，瞬態(tài)國(guó)家重點(diǎn)實(shí)驗(yàn)室副主任，光學(xué)影像分析與學(xué)習(xí)中心主任，中國(guó)科學(xué)院光譜成像技術(shù)重點(diǎn)實(shí)驗(yàn)室副主任。主要工作領(lǐng)域是圖像及視頻處理和模式識(shí)別的應(yīng)用研究。

在工程與計(jì)算兩個(gè)領(lǐng)域入選全球高被引學(xué)者。入選美國(guó)科學(xué)促進(jìn)會(huì)會(huì)士（AAAS Fellow）、美國(guó)光學(xué)學(xué)會(huì)會(huì)士（OSA Fellow）、國(guó)際光學(xué)工程學(xué)會(huì)會(huì)士（SPIE Fellow）、國(guó)際電氣電子工程師協(xié)會(huì)會(huì)士（IEEE Fellow）、國(guó)際模式識(shí)別學(xué)會(huì)會(huì)士（IAPR Fellow）等。

個(gè)人主頁：
http://renshi.nwpu.edu.cn/info/1375/4602.htm

顏水成

入選理由：對(duì)可視化內(nèi)容理解技術(shù)和應(yīng)用的貢獻(xiàn)

顏水成，1995年進(jìn)入北大數(shù)學(xué)系，師從程乾生教授，本碩博均就讀于北大，2004年獲得北京大學(xué)數(shù)學(xué)博士學(xué)位。

2001年，顏水成進(jìn)入微軟亞洲研究院實(shí)習(xí)，2004 年博士畢業(yè)后，顏水成離開微軟亞洲研究院，先在香港中文大學(xué)從事人臉識(shí)別相關(guān)研究，兩年后前往伊利諾伊大學(xué)香檳分校（UIUC）從事博士后研究，師從美國(guó)工程院院士、計(jì)算機(jī)視覺華人教授黃煦濤 (Thomas Huang)。

2007 年，顏水成入職新加坡國(guó)立大學(xué)，創(chuàng)立機(jī)器學(xué)習(xí)與計(jì)算機(jī)視覺實(shí)驗(yàn)室，擁有終身教職。

顏水成博士團(tuán)隊(duì)提出的「Network in Network」（NIN）網(wǎng)絡(luò)結(jié)構(gòu)的核心 1×1 卷積是近年來幾乎所有計(jì)算機(jī)視覺深度學(xué)習(xí)模型的標(biāo)準(zhǔn)模塊，在學(xué)術(shù)界和工業(yè)界影響深遠(yuǎn)，其思想也被后期的 GoogleNet、殘差網(wǎng)絡(luò)（ResNet）等模型所采用。

2015年9月，顏水成準(zhǔn)備赴任研究院院長(zhǎng)及360首席科學(xué)家。

2019年，顏水成正式加入依圖科技，任CTO。

2021年1月，顏水成被曝離開依圖，加入騰訊旗下東南亞電商品牌Shopee。

呂晨陽-華盛頓大學(xué)

呂晨陽教授，分別于1995年、1997年獲得中科院計(jì)算機(jī)科學(xué)學(xué)士、碩士學(xué)位。2001年獲得弗吉尼亞大學(xué)博士學(xué)位。

入選理由：對(duì)自適應(yīng)實(shí)時(shí)系統(tǒng)、實(shí)時(shí)虛擬化和無線信息物理系統(tǒng)的貢獻(xiàn)

目前是圣路易斯華盛頓大學(xué)計(jì)算機(jī)科學(xué)與工程系的Fullgraf教授，他的研究方向是嵌入式和實(shí)時(shí)系統(tǒng)、網(wǎng)絡(luò)物理系統(tǒng)、物聯(lián)網(wǎng)、移動(dòng)醫(yī)療和臨床人工智能。

呂晨陽教授開發(fā)并試運(yùn)行了世界上第一個(gè)大規(guī)模的臨床監(jiān)測(cè)系統(tǒng)。

他在實(shí)時(shí)系統(tǒng)方面的貢獻(xiàn)包括自適應(yīng)實(shí)時(shí)中間件、工業(yè)無線傳感器執(zhí)行器網(wǎng)絡(luò)和實(shí)時(shí)虛擬化技術(shù)，這些技術(shù)已被納入全球主流系統(tǒng)軟件中。

呂晨陽教授已發(fā)表論文200多篇，被引用次數(shù)超過23000次，h-index為71，2011年至2017年擔(dān)任ACM Transactions on Sensor Networks主編，

2018年至2019年擔(dān)任IEEE實(shí)時(shí)系統(tǒng)技術(shù)委員會(huì)（TCRTS）主席。

個(gè)人主頁：
https://www.cse.wustl.edu/~lu/

Cathy H. Wu-特拉華大學(xué)

入選理由：對(duì)生物信息學(xué)、計(jì)算生物學(xué)、知識(shí)挖掘和語義數(shù)據(jù)集成的貢獻(xiàn)

Cathy H. Wu，現(xiàn)任特拉華大學(xué)工程和計(jì)算機(jī)系主任、生物信息學(xué)和計(jì)算生物學(xué)中心（CBCB）主任。

Cathy H. Wu博士擁有生物科學(xué)和計(jì)算機(jī)科學(xué)雙科背景。

她于1978年于中國(guó)臺(tái)灣國(guó)立臺(tái)灣大學(xué)獲得植物病理學(xué)學(xué)士。

1984、1986年又分別在普渡大學(xué)、密歇根州立大學(xué)獲得植物病理學(xué)博士學(xué)位。

1989年，她又在得州大學(xué)泰勒分校取得計(jì)算機(jī)碩士學(xué)位。

Cathy H. Wu從事生物信息學(xué)和數(shù)據(jù)科學(xué)研究25年，研究領(lǐng)域包括基因組和蛋白質(zhì)注釋、生物醫(yī)學(xué)文本挖掘、生物醫(yī)學(xué)本體論、基因-疾病-藥物網(wǎng)絡(luò)建模和大數(shù)據(jù)分析。領(lǐng)導(dǎo)了全球幾個(gè)生物信息學(xué)資源的開發(fā)，包括蛋白質(zhì)信息資源和國(guó)際UniProt聯(lián)盟。

個(gè)人主頁：
https://bioinformatics.udel.edu/people/personnel/cathy_wu/

Wang Yi-瑞典烏普薩拉大學(xué)

Wang Yi，現(xiàn)任瑞典烏普薩拉大學(xué)信息技術(shù)系教授。

入選理由：對(duì)實(shí)時(shí)系統(tǒng)的自動(dòng)分析和驗(yàn)證做出貢獻(xiàn)

Wang Yi 于1982年在東北大學(xué)獲得計(jì)算機(jī)工程學(xué)士學(xué)位。1991年在瑞典查爾姆斯理工大學(xué)獲博士學(xué)位。

主要研究方向?yàn)镃PS的設(shè)計(jì)與動(dòng)態(tài)更新，安全關(guān)鍵型嵌入式系統(tǒng)，實(shí)時(shí)系統(tǒng)，實(shí)時(shí)調(diào)度，建模與驗(yàn)證。

個(gè)人主頁：
http://user.it.uu.se/~yi/

Steven H. Low-加州理工學(xué)院

Steven H. Low，現(xiàn)任加州理工學(xué)院計(jì)算機(jī)與數(shù)學(xué)科學(xué)系和電氣工程系教授，同時(shí)也是浙江大學(xué)客座教授。

入選理由：對(duì)于互聯(lián)網(wǎng)擁堵控制和智能電網(wǎng)優(yōu)化的理論基礎(chǔ)和實(shí)際部署

Steven H. Low于1987年在康奈爾大學(xué)獲學(xué)士學(xué)位，1992年于加州大學(xué)伯克利分校獲博士學(xué)位。

Steven H. Low以研究互聯(lián)網(wǎng)擁塞控制、算法和電力系統(tǒng)優(yōu)化的理論和數(shù)學(xué)建模而聞名 。

Low開創(chuàng)了互聯(lián)網(wǎng)等大規(guī)模網(wǎng)絡(luò)在端到端擁塞控制下的數(shù)學(xué)理論，對(duì)資源分配、路由選擇和網(wǎng)絡(luò)架構(gòu)都有影響，并基于這一數(shù)學(xué)理論設(shè)計(jì)了一種新的擁塞控制算法FAST TCP，建立了獨(dú)特的測(cè)試平臺(tái)WAN-in-Lab，打破了數(shù)據(jù)傳輸?shù)氖澜缂o(jì)錄。

他的工作對(duì)改變擁堵控制研究和陸地速度記錄競(jìng)賽的重點(diǎn)，從參數(shù)調(diào)整到算法設(shè)計(jì)和分析起到了重要作用。

目前，他的研究開始關(guān)注未來智能電網(wǎng)的分布式能源資源的控制和優(yōu)化。

個(gè)人主頁：
https://ee.caltech.edu/people/slow

谷歌5人、微軟4人入選，浙大成國(guó)內(nèi)最大贏家

谷歌入選的5位學(xué)者與獲獎(jiǎng)理由分別是：

 

• Sanjay Ghemawat：分布式系統(tǒng)設(shè)計(jì)
• Steven Gribble：跨集群、服務(wù)器和網(wǎng)絡(luò)的虛擬化技術(shù)
• Andrew Tomkins：理解網(wǎng)絡(luò)和基于網(wǎng)絡(luò)的社交網(wǎng)絡(luò)
• Ravi Kumar：網(wǎng)絡(luò)科學(xué)建模、分析和算法
• Kenneth Lane Thompson：操作系統(tǒng)理論的發(fā)展、實(shí)現(xiàn)UNIX操作系統(tǒng)

 

微軟入選的5位學(xué)者與獲獎(jiǎng)理由分別是：

 

• David Maltz，網(wǎng)絡(luò)基礎(chǔ)架構(gòu)，包括數(shù)據(jù)中心網(wǎng)絡(luò)，網(wǎng)絡(luò)操作系統(tǒng)和云網(wǎng)絡(luò)
• Nachiappan Nagappan，經(jīng)驗(yàn)軟件工程和數(shù)據(jù)驅(qū)動(dòng)的軟件開發(fā)
• Meredith Ringel Morris，人機(jī)交互、信息檢索、計(jì)算機(jī)支持的協(xié)作工作和可訪問性
• Andrew D. Gordon，編程語言的原理、邏輯、可用性和可信賴性

 

而國(guó)內(nèi)的高校機(jī)構(gòu)中，入選人數(shù)最多的是浙江大學(xué)，其中包括任奎、周昆，還有客座教授Steven H. Low。

原文鏈接：
https://www.acm.org/media-center/2021/january/fellows-2020