近日，新一屆 ACM 博士論文獎正式公布。

CMU 助理教授 Aayush Jain 因其論文《Indistinguishability Obfuscation from Well-Studied Assumptions》而獲得 2022 年 ACM 博士論文獎。榮譽提名獎授予了在康奈爾大學獲得博士學位的 Alane Suhr 和在劍橋大學獲得博士學位的 Conrad Watt。

ACM 2022 博士論文獎（左）及榮譽提名獎（中、右）獲得者

ACM 博士論文獎每年頒發一次，旨在獎勵計算機科學與工程領域最佳的博士論文的作者。博士論文獎的獎金為 2 萬美元，榮譽提名獎的獎金總共有 1 萬美元。

2022 年 ACM 博士論文獎

Aayush Jain 獲獎論文標題為《Indistinguishability Obfuscation from Well-Studied Assumptions》，該論文建立了從已經研究的困難猜想中實現的數學嚴謹軟件混淆的可行性。

• 論文地址：https://escholarship.org/content/qt7vq3z6v1/qt7vq3z6v1_noSplash_11cf93c4e513781acd1abae3cbe4e90d.pdf
  

軟件混淆的核心目標是改造源代碼，在不改變其計算內容的情況下使其無法理解。其中可以添加額外的條件，例如要求轉換后的代碼與原始代碼的性能相似，甚至沒有區別。作為一種軟件安全機制，軟件混淆必須有一個堅實的數學基礎。

該論文也獲得了 STOC 2021 的最佳論文獎，并且在 Quanta Magazine 上被報道。當時，Quanta Magazine 稱這篇研究摘得 “皇冠上的明珠”。

機器之心曾編譯介紹了 Quanta Magazine 對該論文的報道， 感興趣的讀者可以查看《不可區分混淆被實現，計算機科學家摘得這顆 “皇冠上的明珠”》。

Jain 是卡內基梅隆大學的助理教授，在印度理工學院獲得了電氣工程學士學位和信息與通信技術碩士學位，并在加州大學洛杉磯分校獲得了計算機科學博士學位。

此外，2022 ACM 博士論文獎還有兩位榮譽提名獲得者，分別是在康奈爾大學獲得博士學位的 Alane Suhr 和在劍橋大學獲得博士學位的 Conrad Watt。

Alane Suhr

Alane Suhr 的論文《Reasoning and Learning in Interactive Natural Language Systems》制定和設計了協作交互中用于持續語言學習的算法，并設計了用于上下文相關語義推理的方法。Suhr 的這篇論文為自然語言處理（NLP）領域做出了變革性的貢獻。

Suhr 目前是加州大學伯克利分校的助理教授。Suhr 的研究重點是自然語言處理、機器學習和計算機視覺，她在俄亥俄州立大學獲得了計算機科學與工程學士學位，并在康奈爾大學獲得了計算機科學博士學位。

Conrad Watt

Watt 目前是劍橋大學的博士后研究員，其研究重心在于機械化形式驗證、并發機制和 WebAssembly 語言。他先后在帝國理工學院和劍橋大學獲得計算機科學碩士和博士學位。

Watt 的博士論文題目為《Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language》，創建了 WebAssembly 的機械化語義并定義其并發模型。該模型將成為當前和未來網絡工程的基礎。

Watt 的博士論文被認為是「開發和使用完全嚴格的機械化語義來直接影響和改進工業計算基礎設施主要組件設計的典范?！?/span>

• 論文地址：https://www.repository.cam.ac.uk/items/96441ace-e88d-4709-8490-296ce668b228ACM
• 官網鏈接：https://awards.acm.org/doctoral-dissertation