2021春季研究奖项聚焦AI与自动化推理技术-优快云博客

2021年春季研究奖项获奖名单公布

2021年7月，某中心正式通知申请人成为2021年春季研究奖项的获奖者。该项目为从事多学科研究的学术研究人员提供无限制资金和云计算服务促销积分。

本次公布的26位获奖者来自11个国家的25所大学。每项奖项旨在支持1-2名研究生或博士后学生在教师指导下开展为期一年的研究工作。该计划通过两个提案征集项目提供资助：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	杜克大学	软件中间件的一键验证