2021年春季研究奖项揭晓：聚焦AI与自动化推理技术

2021年春季某中心研究奖项获得者公布

2021年7月，某中心正式通知申请人成为2021年春季研究奖项的获得者。该项目为学术研究人员提供无限制资金和云计算促销额度，支持多学科研究课题的探索。

本次公开宣布的26位获奖者代表11个国家的25所高校。每项奖项旨在支持一至两名研究生或博士后学生在导师指导下进行为期一年的研究工作。奖项资助分为两个提案方向：人工智能公平性验证和云计算自动化推理。

提案评审基于科学内容质量、创新性以及对研究界和社会潜在影响力的综合评估。理论进展、创新理念和实际应用均在考虑范围内。

获奖者可访问超过250个公开数据集，并通过云计算促销额度使用人工智能/机器学习服务与工具。每位获奖者还将分配一名研究联络人，提供咨询建议并安排参与技术交流活动与培训课程。

此外，某中心鼓励研究成果发表、在全球办公室进行演讲，以及基于开源许可发布相关代码。

自动化推理组高级首席科学家表示："自动化推理研究与机器学习、硬件软件工程、机器人技术和生命科学等领域深度交织。2021年研究奖项反映了这种广度，以及推动计算技术迈向人类推理魔力火花所需的跨学科研究特性。"

该研究奖项每年最多四次资助多个研究领域的提案。申请人可访问提案征集页面获取更多信息，或发送邮件以获取未来开放申请的通知。

以下是按字母顺序排列的2021年春季获奖者名单：

获奖者	院校	研究课题
Haniel Barbosa	米纳斯吉拉斯联邦大学	SMT证明的高效检查与重构
Clark Barrett	斯坦福大学	无服务器云中的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	杜克大学	软件中间件的一键验证

研究领域

• 机器学习
• 自动化推理

标签

[研究奖项, 负责任人工智能]
更多精彩内容 请关注我的个人公众号 公众号（办公AI智能小助手）或者 我的个人博客 https://blog.qife122.com/
公众号二维码