亚马逊公布2025年秋季研究奖获奖名单

亚马逊研究奖（ARA）为学术研究人员提供无限制资金和AWS推广积分，支持他们在多个学科领域开展各类研究课题。本轮评选中，ARA收到了来自世界各地的众多优秀研究提案，今天正式公布68位获奖者，他们来自11个国家的49所大学。

本次公告涵盖2025年秋季周期内6个征集提案的奖项，包括：信息安全AI、智能体AI、自动推理、AWS密码学、网络安全与反滥用技术以及可持续发展。所有提案均根据其科学内容质量以及对研究社区和社会的潜在影响进行评审。此外，亚马逊鼓励获奖者发表研究成果，在亚马逊全球办公室展示研究，并以开源许可发布相关代码。

获奖者可以访问超过700个亚马逊公共数据集，并通过AWS推广积分使用AWS AI/ML服务和工具。获奖者还将获得一位亚马逊研究联系人，提供咨询和建议，并有机会参加亚马逊的活动和培训课程。

特殊项目与投资固定部门应用科学家Dhruv Kuchhal表示："欺诈和滥用行为的演变速度与不法分子利用的技术同步。由于我们只能防御可以测量的威胁，研究这些技术的科学必须跟上步伐。通过ARA，我们汇聚行业和学术界的专家，从源头解决这些问题，并发布系统性提高不法分子运营成本、削弱其投资回报率的防御措施，使其在整个生态系统中传播时受到遏制。这不仅增强了亚马逊的安全性，也惠及更广泛的互联网，包括在线购物客户、卖家、在线建立业务的品牌，以及连接它们的平台和支付渠道。我们对收到的提案质量和数量印象深刻——这是该领域正在为全球网络用户提高标准的有力信号——我们期待与新获奖者合作，将这些研究转化为持久的、生态系统范围内的欺诈和滥用预防改进。"

AWS GuardDuty应用科学经理Wei Ding表示："AI正在以前所未有的速度重塑网络安全，推进我们检测威胁和防御系统的方式。与此同时，智能体AI需要更强的安全性、鲁棒性和可信度保障。自2020年以来，我们的团队资助了解决行业最大挑战的安全研究。我们很高兴通过这些最新研究项目继续推动创新传统，这些项目涉及智能体AI安全、AI驱动的事件响应、智能体AI系统和云环境中的威胁检测等令人兴奋的领域。"

ARA全年在各种研究领域资助提案。申请者可访问我们的征集提案页面了解更多信息，或发送电子邮件以接收未来开放征集的通知。

以下表格按姓氏字母顺序列出2025年秋季周期征集提案获奖者，并按研究领域分类。

信息安全AI

获奖者：Peng Gao，弗吉尼亚理工学院暨州立大学

研究课题：CortexCTI：用于知识驱动云威胁检测和响应的统一威胁情报引擎

获奖者：Guofei Gu，德克萨斯农工大学

研究课题：智能体AI系统中提示注入的新基准和防御

获奖者：Xiyang Hu，亚利桑那州立大学

研究课题：保护智能体AI：从局部检测到全局保障

获奖者：Adriana Sejfia，爱丁堡大学

研究课题：用于漏洞检测验证的漏洞驱动AI智能体

获奖者：Yue Zhao，南加州大学

研究课题：保护智能体AI：从局部检测到全局保障

自动推理

获奖者：Jonathan Aldrich，卡内基梅隆大学

研究课题：程序验证的可视化调试器

获奖者：Dalal Alrajeh，帝国理工学院

研究课题：SOLAR：用于自动化需求一致性的符号学习

获奖者：Maria Paola Bonacina，维罗纳大学

研究课题：CDSAT中的新数据结构理论和量词

获奖者：Jason Cong，加州大学洛杉矶分校

研究课题：用SAT求解加速器突破并行性限制

获奖者：Lucas Cordeiro，曼彻斯特大学

研究课题：在ESBMC中结合形式化方法与大语言模型：通过AI/ML实现自动化程序验证

获奖者：Werner Dietl，滑铁卢大学

研究课题：Strata-Sphere：表达性类型系统和语言形式化

获奖者：Katalin Fazekas，维也纳工业大学

研究课题：PASSAT：改进增量SMT求解器中断言栈向SAT的传递

获奖者：Sicun Gao，加州大学圣地亚哥分校

研究课题：使用沙盒编码任务和形式化工具评估和改进大语言模型智能体的定量推理

获奖者：Milos Gligoric，德克萨斯大学奥斯汀分校

研究课题：在HOL Light中记录和推荐策略

获奖者：Ronghui Gu，哥伦比亚大学

研究课题：扩展未修改系统软件安全属性的形式化验证

获奖者：Tyler Josephson，马里兰大学巴尔的摩县分校

研究课题：Lean中科学计算的自动形式化

获奖者：Xiaorui Liu，北卡罗来纳州立大学

研究课题：具有符号健全性和逻辑一致性的神经符号大语言模型推理

获奖者：Azalea Raad，帝国理工学院

研究课题：Lean中的Soteria：机械化下一代符号执行工具

获奖者：Dominik Schreiber，卡尔斯鲁厄理工学院

研究课题：HPC和云环境中资源高效的灵活SAT求解

获奖者：Ilya Sergey，新加坡国立大学

研究课题：用于基础多模态程序验证器的线性类型

获奖者：Peter Sewell，剑桥大学

研究课题：高保障云基础设施的渐进式轻量级方法

获奖者：Paulo Shakarian，雪城大学

研究课题：非马尔可夫智能体元推理

获奖者：Armando Solar-Lezama，麻省理工学院

研究课题：通过大语言模型和一致性测试为静态分析合成库模型

获奖者：Salil Vadhan，哈佛大学

研究课题：通过大语言模型翻译差分隐私的形式化证明

获奖者：Nickolai Zeldovich，麻省理工学院

研究课题：使用Verus中的单调所有权状态机验证Rust分布式系统实现

获奖者：Xuezhou Zhang，波士顿大学

研究课题：通过两阶段强化学习实现自动形式化和非形式化

获奖者：Tianyi Zhang，普渡大学

研究课题：使用大语言模型扩展过程间数据流分析

AWS智能体AI

获奖者：Raman Arora，约翰斯·霍普金斯大学

研究课题：多方差分隐私：解锁企业智能体AI

获奖者：Fanglin Che，伍斯特理工学院

研究课题：用于氢气生产的智能体AI自主催化剂设计

获奖者：Muhao Chen，加州大学戴维斯分校

研究课题：FlowGuard：用于安全多模态网络智能体的进化红队测试

获奖者：Ioannis Demertzis，加州大学圣克鲁兹分校

研究课题：CAMEO：机密智能体多组件飞地编排

获奖者：Ariel Felner，本古里安大学

研究课题：未分配智能体的多智能体路径规划

获奖者：Zhaomiao Guo，德克萨斯大学奥斯汀分校

研究课题：从观察到干预：用于自动驾驶的反事实多智能体世界模型

获奖者：Jiangen He，田纳西大学诺克斯维尔分校

研究课题：超越文本墙：构建UI原生大语言模型智能体作为互联网的下一个入口

获奖者：Fan Lai，伊利诺伊大学厄巴纳-香槟分校

研究课题：强化协调：用于长期智能体学习的流式传输、探索和蒸馏

获奖者：Ziyang Li，约翰斯·霍普金斯大学

研究课题：资源受限多智能体AI的协议栈

获奖者：Henry Liu，密歇根大学

研究课题：使用智能体AI自动化大规模部署基于基础设施的安全关键事件检测

获奖者：Bryan Low Kian Hsang，新加坡国立大学

研究课题：通过协同优化实现自配置智能体学习

获奖者：Chinmay Maheshwari，约翰斯·霍普金斯大学

研究课题：基于马尔可夫近势函数的混合合作-竞争智能体AI多智能体强化学习训练

获奖者：Arash Noshadravan，德克萨斯农工大学

研究课题：用于符合标准的基础设施检查的检索增强双注意力视觉框架

获奖者：Muhammad Shafique，纽约大学阿布扎比分校

研究课题：AVAAS——通过高级智能体系统进行自动化漏洞分析

获奖者：Zhengzhong Tu，德克萨斯农工大学

研究课题：FlowGuard：用于安全多模态网络智能体的进化红队测试

获奖者：Lu Wang，密歇根大学

研究课题：多智能体阴谋的基准测试和监控

获奖者：Yuke Wang，莱斯大学

研究课题：通过持续学习赋能多模态AI智能体

获奖者：Hamed Zamani，马萨诸塞大学阿默斯特分校

研究课题：主动和协作AI智能体框架

获奖者：Yang Zhao，明尼苏达大学双城分校

研究课题：具有极端并行性和异构性的可扩展芯粒设计的端到端智能体AI

获奖者：Victor Zhong，滑铁卢大学

研究课题：KNOWLEDGESTORE：用于AWS上可扩展、企业就绪AI智能体的动态分层内存

AWS密码学

获奖者：Sri AravindaKrishnan Thyagarajan，悉尼大学

研究课题：高效鲁棒的后量子分布式密钥生成和门限签名

获奖者：Daniel J. Bernstein，伊利诺伊大学芝加哥分校

研究课题：形式化验证的对称密码学

获奖者：Jeremiah Blocki，普渡大学

研究课题：更强的内存困难函数以保护密码免受暴力攻击

获奖者：Geoffroy Couteau，巴黎西岱大学

研究课题：用于门限密码学的伪随机相关性

获奖者：Yevgeniy Dodis，纽约大学

研究课题：AI的机器遗忘和计算假设

获奖者：Zhengzhong Jin，东北大学

研究课题：通过伪随机码实现大语言模型的实用水印

获奖者：Yael Kalai，麻省理工学院

研究课题：使用密码学增强AI安全性

获奖者：John Liagouris，波士顿大学

研究课题：将安全MPC推向小众应用之外

获奖者：Rafail Ostrovsky，加州大学洛杉矶分校

研究课题：面向大语言模型的低延迟恶意安全MPC

获奖者：Rachel Player，伦敦大学皇家霍洛威学院

研究课题：BFV/BGV中线性变换的新方法

获奖者：Elaine Shi，卡内基梅隆大学

研究课题：大规模实用安全计算

获奖者：Akshayaram Srinivasan，多伦多大学

研究课题：同步消息和简洁安全计算

获奖者：Douglas Stebila，滑铁卢大学

研究课题：FantASM：快速、可审计和简洁的汇编

获奖者：Ni Trieu，亚利桑那州立大学

研究课题：用于真实世界噪声数据的模糊安全计算

获奖者：Xiao Wang，西北大学

研究课题：从签名到乱码：探索后量子原语的范围

获奖者：Mark Zhandry，斯坦福大学

研究课题：后量子密码学算法

获奖者：Jiaheng Zhang，新加坡国立大学

研究课题：通过伪随机码实现大语言模型的实用水印

获奖者：Vassilis Zikas，佐治亚理工学院

研究课题：用于真实世界噪声数据的模糊安全计算

网络安全与反滥用技术

获奖者：Geoffrey Voelker，加州大学圣地亚哥分校

研究课题：大规模检测反检测浏览器

设备可持续发展

获奖者：Udit Gupta，康奈尔大学

研究课题：智能体驱动的可持续边缘设备生命周期碳优化

获奖者：Adriana Schulz，布朗大学

研究课题：将可持续性推理整合到早期电子设计中

Q&A

Q1：亚马逊研究奖（ARA）为获奖者提供哪些支持？

A：亚马逊研究奖为学术研究人员提供无限制资金和AWS推广积分，获奖者可以访问超过700个亚马逊公共数据集，使用AWS AI/ML服务和工具，还会获得一位亚马逊研究联系人提供咨询和建议，并有机会参加亚马逊的活动和培训课程。此外，亚马逊鼓励获奖者发表研究成果并以开源许可发布相关代码。

Q2：2025年秋季亚马逊研究奖涵盖哪些研究领域？

A：本次评选涵盖6个研究领域的征集提案，包括信息安全AI、智能体AI、自动推理、AWS密码学、网络安全与反滥用技术以及可持续发展。所有提案均根据其科学内容质量以及对研究社区和社会的潜在影响进行评审。

Q3：智能体AI在网络安全领域有什么应用价值？

A：智能体AI正在以前所未有的速度重塑网络安全，推进威胁检测和系统防御的方式。同时，智能体AI需要更强的安全性、鲁棒性和可信度保障。相关研究项目涉及智能体AI安全、AI驱动的事件响应、智能体AI系统和云环境中的威胁检测等领域，旨在系统性提高不法分子运营成本，削弱其投资回报率。