近日，新一届 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 是卡内基梅隆大学的助理教授，他对密码学理论和应用，以及密码学与理论计算机科学相关领域的联系很感兴趣。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 的博士论文被认为是「开发和使用完全严格的机械化语义来直接影响和改进工业计算基础设施主要组件设计的典范。」
论文地址：https://www.repository.cam.ac.uk/items/96441ace-e88d-4709-8490-296ce668b228
ACM 官网链接：https://awards.acm.org/doctoral-dissertation