春季 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杜克大学软件中间盒的一键式验证更多精彩内容 请关注我的个人公众号 公众号办公AI智能小助手或者 我的个人博客 https://blog.qife122.com/对网络安全、黑客技术感兴趣的朋友可以关注我的安全公众号网络安全技术点滴分享