春季 2021 某机构研究奖获奖者公布
2021年7月，某机构通知申请人已成为2021年春季某机构研究奖的获得者。该奖项旨在为跨多个学科领域开展研究课题的学术研究人员提供无限制资金和某云平台服务积分。今天，我们正式公布26位获奖者，他们来自11个国家的25所大学。每个奖项旨在支持一名或两名研究生或博士后在一名教员的指导下进行为期一年的研究工作。该奖项资助了两项提案征集：AI公平性和自动化推理。提案的评审依据是其科学内容的质量、创新性，以及对研究界乃至整个社会的潜在影响力。理论进展、创新思路和实际应用均被纳入考量。获奖者有权访问超过250个某机构公开数据集，并可通过其某云平台服务积分使用该平台的AI/ML服务及工具。获奖者还会被分配一位该机构的研究联系人，为其提供咨询和建议，并有机会参加该机构的活动和培训课程。
此外，该机构鼓励研究成果的发表、在全球各办公室进行的研究成果展示，以及以开源许可形式发布相关代码。
“自动化推理研究与其他广泛的研究领域深度交织，涉及机器学习、硬件与软件工程、机器人技术和生命科学，”自动化推理团队的首席科学家表示，“2021年的某机构研究奖反映了这一广度，以及推动计算更接近驱动人类推理的魔法火花所必需的研究跨学科性质。”
该奖项每年最多四次资助多个研究领域的提案。鼓励申请人访问奖项提案征集页面以获取更多信息，或发送邮件以接收未来开放征集的提醒。以下是2021年春季获奖者名单，按字母顺序排列。
| 获奖者 | 大学 | 研究课题 | |
|---|---|---|---|
| Haniel Barbosa | 米纳斯吉拉斯联邦大学 | SMT证明的高效检查与重构 | |
| Clark Barrett | 斯坦福大学 | HydraScale: 在无服务器云中求解SMT查询 | |
| Yuriy Brun | 马萨诸塞大学阿默斯特分校 | 基于语言模型证明合成形式验证 | |
| Adam Chlipala | 麻省理工学院 | 正确性构建的物联网系统与云服务器 | |
| Jyotirmoy Deshmukh | 南加州大学 | 使用深度强化学习对并发程序进行系统测试和不变量合成 | |
| Isil Dillig | 德克萨斯大学奥斯汀分校 | 自动化代码现代化与迁移 | |
| Parasara Sridhar Duggirala | 北卡罗来纳大学教堂山分校 | 反例的模型检测 | |
| Philippa Gardner | 伦敦帝国理工学院 | 用于符号测试与验证的多语言平台 | |
| Jan Hoffmann | 卡内基梅隆大学 | 无服务器计算的自动静态资源分析 | |
| Falk Howar | 多特蒙德工业大学 | 为Java扩展动态符号执行 | |
| Anthony Lin | 凯泽斯劳滕大学 | 字符串约束的可信求解器与证明检查器 | |
| Magnus Madsen | 奥胡斯大学 | 基于布尔合一化的类型推断 | |
| Kuldeep S. Meel | 新加坡国立大学 | 支持GPU的并行SAT求解 | |
| Eric Mercer | 杨百翰大学 | 从Dafny模型生成Java测试的符号执行 | |
| Peter Müller | 苏黎世联邦理工学院 | 针对TLA+规范的Rust程序验证 | |
| Suha Orhun Mutluergil | 萨班哲大学 | 通过符号推理进行线性化检查 | |
| Jason Nieh | 哥伦比亚大学 | 在Arm多处理器硬件模型上验证系统软件 | |
| Gennaro Parlato | 莫利塞大学 | 云中的程序分析：一种用于扩展并发程序错误查找的分布式符号算法 | |
| Ruzica Piskac | 耶鲁大学 | 反例引导的模块化规约推断 | |
| Roopsha Samanta | 普渡大学 | 分布式系统的自动化模块化参数化验证 | |
| Sanjit Seshia | 加利福尼亚大学伯克利分校 | 通过综合与学习实现安全分布式服务的可扩展验证 | |
| Alexander Summers | 不列颠哥伦比亚大学 | 模块化Rust验证的富类型与内存编码 | |
| Josef Urban | 捷克理工大学 | 定理证明中的神经与符号方法结合 | |
| Diyi Yang | 佐治亚理工学院 | 面向方言鲁棒性和包容性的自然语言理解 | |
| Qirun Zhang | 佐治亚理工学院 | 通过交错Dyck可达性进行软件模型检测 | |
| Danyang Zhuo | 杜克大学 | 软件中间盒的一键式验证 | FINISHED |
