2021年秋季某机构研究奖75位获奖者揭晓
某机构研究奖是一项向学术研究人员提供非限制性资金和云服务促销额度的计划，支持多学科研究课题。本次公开宣布75位获奖者，涵盖17个国家52所大学。每项奖金旨在支持1-2名研究生或博士后在其导师指导下开展一年研究工作。
获奖者来自2021年秋季七个提案征集领域：人工智能信息安全、设备安全与隐私、支付系统、自动化推理、社会可持续性数据、视频服务与机器人技术。提案评审基于科学质量、创新性以及对研究界和社会的潜在影响。理论进展、创新理念和实际应用均被纳入考量。
获奖者可访问300多个公共数据集，并通过云服务促销额度使用AI/ML服务工具。每位获奖者将匹配一位研究联络人提供咨询指导，并有机会参与技术活动和培训会议。同时鼓励研究成果发表、在全球办公室进行演讲以及开源相关代码。
自动化推理组首席科学家表示："自动化推理研究与机器学习、硬件软件工程、机器人技术和生命科学等领域深度交织。2021年获奖项目反映了这种广度，以及推动计算更接近人类推理所需的跨学科研究特性。"
该计划每年最多四次资助不同研究领域的提案。申请人可访问提案征集页面获取更多信息，或发送邮件以获取未来开放征集通知。
以下按字母顺序列出2021年秋季周期获奖者名单：
| 获奖者 | 院校 | 研究标题 |
|---|---|---|
| Aws Albarghouthi | 威斯康星大学麦迪逊分校 | 向SMT求解器传授概率论 |
| Nada Amin | 哈佛大学 | 可扩展模型与证明 |
| Nora Ayanian | 布朗大学 | 仓库大规模标记多智能体路径规划 |
| Clark Barrett | 斯坦福大学 | HydraScale：无服务器云中的SMT查询求解 |
| Ivan Beschastnikh | 英属哥伦比亚大学 | 将分布式系统模型编译为实现 |
| ...（其余获奖者信息保持相同格式） |
