中科大吳楓獲IEEE CAS最高榮譽獎項，11位學者獲ACM四大技術獎項

機器之心報道

編輯：陳萍、小舟

5 月 24 日，IEEE 電路與系統（CAS）學會將 2021 年度 IEEE CAS Mac Van Valkenburg 獎授予中國科學技術大學吳楓教授，以表彰他對「多媒體非均勻編碼和通訊的貢獻」，時隔不久，5 月 26 日，計算機協會（Association for Computing Machinery）宣佈了四項著名技術獎的獲得者。

近段時間，IEEE 與 ACM 開始陸續公佈各大獎項，海內外的多位知名學者入選。

5 月 24 日，IEEE 電路與系統（CAS）學會將 2021 年度 IEEE CAS Mac Van Valkenburg 獎授予中國科學技術大學吳楓教授，以表彰他對「多媒體非均勻編碼和通訊的貢獻」，這是該獎項歷史上首次頒發給中國大陸的學者。

ACM（Association for Computing Machinery）也於今日宣佈了四項著名技術獎的獲得者，這四個獎項包括 ACM Grace Murray Hopper 獎、ACM 軟體系統獎、ACM Paris Kanellakis Theory and Practice 獎、ACM – AAAI 艾倫 · 紐厄爾獎。以表彰他們在無電池通訊、理論電腦科學和軟體系統等領域的貢獻。

以下我們對相關獎項做具體介紹。

吳楓教授獲 IEEE CAS Mac Van Valkenburg 獎

IEEE CAS Mac Van Valkenburg 獎設立於 1985 年，是 IEEE CAS 的最高學術榮譽。該獎項基本每年授予一人，在歷年獲獎名單中，三分之二來自歐美國家，此外海外華人學者 Ruey-Wen Liu (2007)、Ming-Lei Liou (2000)、Bede Liu (1997) 等曾獲得過該獎項，這是該獎項時隔十四年後再次頒發給華人學者。

個人主頁：https://eeis.ustc.edu.cn/2014/0423/c2648a20109/page.htm

吳楓教授為中國科學技術大學電子工程與資訊科學系教授、博士生導師，IEEE Fellow。1992 年畢業於西安電子科技大學，獲工學學士學位；於 1996 年和 1999 年畢業於哈爾濱工業大學，分別獲得工學碩士和博士學位。在加入中國科學技術大學之前，曾歷任微軟亞洲研究院研究員、主任研究員、首席研究員。

主要研究方向包括：視訊編碼與通訊、多媒體內容分析、計算機視覺等。已發表 IEEE TCSVT、IEEE TIP 等 IEEE 會刊論文 44 篇，MOBICOM、CVPR 等中國計算機學會認定的 A 類國際會議論文 12 篇，並榮獲 IEEE TCSVT 2009 年最佳期刊論文獎，PCM 2008 和 VCIP 2007 國際會議最佳論文獎。擔任 IEEE TCSVT 和 IEEE TMM 編委，國際會議 IEEE MMSP 2011、IEEE VCIP 2010 和 PCM 2009 程式委員會主席。

吳楓教授對國內外視訊編碼標準的發展做出了重要的貢獻，先後有 15 項技術提案被 MPEG-4、H.264 和 H.265 等視訊編碼國際標準所採納。曾任中國 AVS 視訊編碼組組長（2002-2004），完成了中國 AVS 視訊編碼標準 1.0 的技術制定，並於 2006 年被批准為中國國家標準，因對國家視訊編碼標準的技術貢獻榮獲 2006 年國家技術發明二等獎。作為發明人在視訊、影象和資料編碼方面已授權美國發明專利 77 項。

ACM Grace Murray Hopper 獎獲得者

ACM Grace Murray Hopper 獎授予年度傑出年輕計算機專業人員，該獎項是根據近期一項主要的技術或服務貢獻而選定的。該獎項還附有 35,000 美元的獎金。候選人齡必須在 35 歲或以下。Microsoft 為該獎項提供了資金支援。

來自華盛頓大學的 Shyamnath Gollakota 獲得了 2020 ACM Grace Murray Hopper 獎，以表彰他對無線訊號在創造新應用方面的貢獻，包括無電池通訊、健康監測、手勢識別和基於生物無線感測。

Gollakota 將這項技術定義為環境反向散射（ambient backscatter），這是一種機制，通過這種機制，一個無電源、無電池的裝置可以收集環境中現有的無線訊號（如廣播電視或 WiFi）以獲取能量，並使用它來傳輸編碼資料。此外，Gollakota 還開發了一些技術，可以利用智慧手機發出的聲納訊號來支援醫療保健應用。這方面的例子包括檢測和診斷呼吸異常，如呼吸暫停，檢測耳朵感染，甚至檢測危及生命的阿片類藥物過量。這些創新有可能改變未來醫療保健系統的設計和交付方式，其中一些工作目前正在商業化以供實際使用。

Gollakota 還開闢了一個新的領域，即連線在昆蟲上的超輕移動感測器和控制器，展示了無線技術如何從微小昆蟲的背部傳輸視訊資料。一些觀察家認為，這可能是創造生物物聯網的第一步，在生物物聯網中，昆蟲被用作移動感測器的運載工具。

ACM 軟體系統獎獲得者

ACM 軟體系統獎授予機構或個人，獲獎者開發的軟體系統需要具有持久的影響力，反映在對概念的貢獻，在商業接受上的程度，或者兩者都有。軟體系統獎的獎金為 35,000 美元。IBM 為軟體系統獎提供了資金支援。

來自英屬哥倫比亞大學 Margo Seltzer；Mike Olson，曾任職於 Cloudera；Keith Bostic，MongoDB 這三人因在 Berkeley DB 的突出貢獻而獲得了 ACM 軟體系統獎。這是 NoSQL 運動的早期典範，並且開創了「dual-license」方法進行軟體許可。

自 1991 年以來，Berkeley DB 一直是現代網際網路的基礎力量：它幾乎是每一個 POSIX 或類似 POSIX 的系統的一部分，也是 GNU 標準 C 庫（glibc）和許多高階指令碼語言的一部分。Berkeley DB 是一系列第一代和第二代網際網路服務的交易金鑰 / 值儲存，包括賬戶管理、郵件和身份伺服器、線上交易平臺和許多其他軟體即服務平臺。

作為一個開源軟體包，Berkeley DB 是一個非常有價值的教學工具。它的程式碼是乾淨的、結構良好的、文件化的。

正如最初由 Seltzer、Olson 和 Bostic 創建的那樣，Berkeley DB 是作為「加利福尼亞大學第四次伯克利軟體發行」的一部分發行的。Seltzer 和 Bostic 隨後於 1996 年成立了 Sleepycat Software 公司，繼續開發 Berkeley DB 並提供商業支援。Olson 於 1997 年加入，10 年來，Berkeley DB 實際上是主要網路基礎設施的資料倉庫。它幫助發起了 NoSQL 運動；作為亞馬遜 Dynamo 和密歇根大學 SLAPD 伺服器背後的引擎，Berkeley DB 幫助非關係型資料庫進入公眾視野。

Sleepycat Software 開創了軟體許可的「dual-license」模式：在開源應用程式中的使用和重新分發始終是免費的，公司可以選擇商業許可以進行支援或將 Berkeley DB 作為專有軟體包的一部分進行分發。這種模式為其他一些開源公司指明瞭方向，這種創新已經在開源社群中被廣泛採用。

卡內拉克斯理論與實踐獎獲得者

卡內拉克斯理論與實踐獎旨在表彰那些在特定理論方面具有突出貢獻的學者。該獎項的獎金為 10,000 美元，由 Kanellakis 家族捐贈，並由計算機協會的演算法和計算理論特別興趣小組（SIGACT）、設計自動化（SIGDA），資料管理（SIGMOD）、程式語言（SIGPLAN），ACM SIG 項目基金以及個人捐款提供額外資金支援。

Yossi Azar，特拉維夫大學 ；Andrei Broder ，Google 研究院；Anna Karlin，華盛頓大學；Michael Mitzenmacher，哈佛大學；Eli Upfal，布朗大學這幾位學者因發現和分析均衡分配（兩種選擇的力量，power of two choices）及其在實踐中的廣泛應用而獲得了卡內拉克斯理論與實踐獎。

Azar、Broder、Karlin、Mitzenmacher 和 Upfal 引入了「均衡分配（Balanced Allocations）」框架，也稱為兩種選擇正規化的力量（power of two choices paradigm），這是一種優雅的理論著作，在實踐中產生了廣泛的影響。

當 n 個球被扔進隨機均勻選擇的 n 個箱子時，眾所周知，任何箱上的最大負載都受到（lg n / lg lg n）（1 + o（1））的限制。Azar、Broder、Karlin 和 Upfal（STOC 1994）證明，增加一點選擇會帶來很大的不同。投擲每個球時，與其隨機選擇一個箱子，不如隨機選擇兩個箱子，然後將球放在負荷較小的箱中。微小的變化帶來了指數級的改進；現在很有可能，任何箱中的最大負載都由（lg lg n / lg 2）+ O（1）限制。

在同樣的工作中，他們已經證明，如果每個球都有 d 個選擇，那麼最大負載很有可能下降到（ln ln n/ ln d)+O(1)。這些結果被 Mitzenmacher 在他 1996 年的博士論文中大大擴展，在那裡他去掉了順序設定，並開發了一個在排隊系統中使用兩種選擇的力量（power of two choices）的框架。

ACM – AAAI 艾倫 · 紐厄爾獎獲得者

ACM – AAAI 艾倫 · 紐厄爾獎頒發給為電腦科學領域和其他領域搭起橋樑做出突出貢獻的研究者，該獎項由 ACM 和人工智慧促進協會（AAAI）及個人捐款提供 10,000 美元的獎金。

Hector Levesque 多倫多大學

獲獎原因：Hector Levesque 對知識表徵和推理及其在理論電腦科學、資料庫、機器人技術和布爾可滿足性等領域的廣泛影響做出了重要貢獻。

Levesque 因其對邏輯啟發型人工智慧和電腦科學中多個子學科的傑出貢獻而受到讚譽。他的工作推動了認知機器人技術，多智慧體系統，理論電腦科學和資料庫系統以及哲學和認知心理學等領域的發展。這些啟發了語義網和自動驗證等理論。他被國際公認為是 AI 領域最深刻的思想家之一，他的研究啟發了 AI 先驅 Alan Newell。

在表徵研究方面，Levesque 致力於與人工和自然智慧體有關的幾個概念的形式化，包括信念，目標，意圖，能力以及知識，知覺和行動之間的相互作用。

在推理研究方面，他的研究集中於如何使自動推理在計算上易於處理，包括使用貪婪的局部搜尋方法。此外，他因對幾個新研究領域的發展做出了重要貢獻而受到認可，這些領域包括描述邏輯，知識表徵的易處理性，可滿足性問題以及認知機器人技術。

Moshe Vardi 萊斯大學

獲獎原因：Moshe Vardi 為邏輯的發展和邏輯成為統一的基礎框架與計算系統建模工具做出了貢獻。

Vardi 的工作推進了許多領域的發展，包括資料庫理論，程式驗證，有限模型理論，知識推理和約束滿足。他是邏輯和電腦科學界最有影響力的研究者之一，為電腦科學與其他領域架起了橋樑。他的主要研究貢獻包括：

資料庫的邏輯理論，他致力於研究表達性和計算複雜度之間的權衡，這為完整性約束、查詢評估的複雜度、不完整資訊處理、資料庫更新和資料庫中的邏輯程式設計等方面的工作奠定了基礎；響應式系統（reactive system）的自動理論方法，這為驗證程式是否符合其規範奠定了數學基礎；基於他發展的認知邏輯進行的知識推理。

在資料庫理論中，Vardi 開發了一種通用資料依賴理論，並找出了公理化和解決決策問題的方法。提出了度量評估查詢演算法複雜度中兩個基本的概念：資料複雜度和查詢複雜度。這些概念很快成為該領域的標準。

在軟體和硬體驗證方面，Vardi 引入了一種自動機理論方法來驗證響應式系統（reactive system），為該領域帶來了新的變革。過去 30 年來，Vardi 的自動機理論方法在該領域和驗證工具的開發中發揮了核心作用。

在知識論方面，Vardi 為多智慧體和分散式系統的知識推理奠定了嚴格的基礎，這在許多學科中都是至關重要的問題，他參與撰寫的書籍是該領域的權威資料。