近日，新一屆 ACM 博士論文獎?wù)焦肌?/span>

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

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

ACM 博士論文獎每年頒發(fā)一次，旨在獎勵計(jì)算機(jī)科學(xué)與工程領(lǐng)域最佳的博士論文的作者。博士論文獎的獎金為 2 萬美元，榮譽(yù)提名獎的獎金總共有 1 萬美元。

2022 年 ACM 博士論文獎

Aayush Jain 獲獎?wù)撐臉?biāo)題為《Indistinguishability Obfuscation from Well-Studied Assumptions》，該論文建立了從已經(jīng)研究的困難猜想中實(shí)現(xiàn)的數(shù)學(xué)嚴(yán)謹(jǐn)軟件混淆的可行性。

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

軟件混淆的核心目標(biāo)是改造源代碼，在不改變其計(jì)算內(nèi)容的情況下使其無法理解。其中可以添加額外的條件，例如要求轉(zhuǎn)換后的代碼與原始代碼的性能相似，甚至沒有區(qū)別。作為一種軟件安全機(jī)制，軟件混淆必須有一個堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ)。

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

機(jī)器之心曾編譯介紹了 Quanta Magazine 對該論文的報(bào)道， 感興趣的讀者可以查看《不可區(qū)分混淆被實(shí)現(xiàn)，計(jì)算機(jī)科學(xué)家摘得這顆 “皇冠上的明珠”》。

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

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

Alane Suhr

Alane Suhr 的論文《Reasoning and Learning in Interactive Natural Language Systems》制定和設(shè)計(jì)了協(xié)作交互中用于持續(xù)語言學(xué)習(xí)的算法，并設(shè)計(jì)了用于上下文相關(guān)語義推理的方法。Suhr 的這篇論文為自然語言處理（NLP）領(lǐng)域做出了變革性的貢獻(xiàn)。

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

Conrad Watt

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

Watt 的博士論文題目為《Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language》，創(chuàng)建了 WebAssembly 的機(jī)械化語義并定義其并發(fā)模型。該模型將成為當(dāng)前和未來網(wǎng)絡(luò)工程的基礎(chǔ)。

Watt 的博士論文被認(rèn)為是「開發(fā)和使用完全嚴(yán)格的機(jī)械化語義來直接影響和改進(jìn)工業(yè)計(jì)算基礎(chǔ)設(shè)施主要組件設(shè)計(jì)的典范。」

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