获奖名单与技术研究领域
2021年7月，某中心正式通知了春季研究奖项的获奖者。该计划为学术研究人员提供无限制资金和云服务积分，支持多个学科的研究项目。本次公开宣布的26位获奖者来自11个国家的25所大学，每项奖金旨在支持1-2名研究生或博士后在一名教师监督下进行一年的研究工作。
奖项聚焦两大提案领域：
- AI公平性（Alexa Fairness in AI）
- 自动化推理（AWS Automated Reasoning）
提案评审标准包括科学内容质量、创造性以及对研究社区和社会的潜在影响。理论进展、创新想法和实际应用均被纳入考量。
技术资源与合作机制
获奖者可访问250多个某中心公共数据集，并通过云服务积分使用AI/ML服务与工具。每位获奖者还配备一名研究联系人，提供咨询建议并开放参与技术会议和培训的机会。某中心鼓励研究成果发表、全球办公室演讲以及开源许可下的代码发布。
技术研究深度与跨学科融合
自动化推理组高级首席科学家指出：“自动化推理研究与机器学习、硬件软件工程、机器人技术和生命科学等领域深度交织。2021年奖项反映了这种广度，以及推动计算接近人类推理所需的跨学科研究特性。”
获奖项目与技术方向（节选）
| 研究员 | 大学 | 研究标题 |
|---|---|---|
| Haniel Barbosa | 米纳斯吉拉斯联邦大学 | SMT证明的高效检查与重建 |
| Clark Barrett | 斯坦福大学 | 无服务器云中的SMT查询解决方案 |
| Yuriy Brun | 马萨诸塞大学阿默斯特分校 | 基于语言模型的证明合成形式化验证 |
| Adam Chlipala | 麻省理工学院 | 构造正确的物联网系统与云服务器 |
| Jyotirmoy Deshmukh | 南加州大学 | 使用深度强化学习进行并发程序的系统测试与不变式合成 |
项目周期与参与方式
该计划每年最多资助四次提案，涵盖多个研究领域。研究者可通过提案页面获取信息或邮件订阅未来开放通知。
技术领域覆盖：
机器学习、自动化推理、云计算、形式化验证、符号执行、程序分析、并发系统验证等。