2022年某机构研究奖揭晓：聚焦前沿计算技术

某机构研究奖（ARA） 是一项向学术界研究者提供非限制性资金和某云服务促销积分的计划，资助范围涵盖多个学科的研究课题。今天，我们公开宣布了75名获奖者，他们来自17个国家的52所大学。每项奖项旨在支持一到两名研究生或博士后研究员，在一名教职员工的指导下进行为期一年的工作。

此次公告包括了根据 2021年秋季七个项目征集（CFP） 资助的奖项：AI for Information Security, Amazon Device Security and Privacy, Amazon Payments, AWS Automated Reasoning, Data for Social Sustainability, Prime Video, and Robotics。提案的评审基于其科学内容的质量、创意，以及其对研究界和整个社会产生影响的潜力。理论进展、创造性新想法和实际应用都在考虑之列。

获奖者可以访问超过300个某机构公共数据集，并可以利用其某云服务促销积分使用某云服务的人工智能/机器学习服务和工具。获奖者还会被分配一名某机构研究联系人，提供咨询和建议，并有机会参与某机构的各类活动和培训课程。此外，该机构鼓励发表研究成果、在全球某机构办公室展示研究，以及在开源许可下发布相关代码。

"自动化推理研究与广泛的其他研究领域深深交织，触及机器学习、硬件和软件工程、机器人技术以及生命科学，"自动化推理组的一位高级首席科学家说。“2021年的某机构研究奖反映了这种广度，以及将计算向推动人类推理的‘魔法火花’再推进一步所必需的跨学科研究性质。”

ARA每年会在各种研究领域资助提案多达四次。鼓励申请者访问ARA项目征集页面了解更多信息，或发送电子邮件以获知未来开放征集的通知。

下表按字母顺序列出了2021年秋季周期项目征集的获奖者。

获奖者	大学	研究标题
Aws Albarghouthi	威斯康星大学麦迪逊分校	向SMT求解器教授概率论
Nada Amin	哈佛大学	可扩展的模型与证明
Nora Ayanian	布朗大学	仓库大规模标记多智能体路径规划
Clark Barrett	斯坦福大学	HydraScale: 在无服务器云中解决SMT查询
Ivan Beschastnikh	不列颠哥伦比亚大学	将分布式系统模型编译为实施方案
Nicola Bezzo	弗吉尼亚大学	面向遮挡和动态环境下的安全敏捷机器人导航
William Bowman	不列颠哥伦比亚大学	编译器和中间语言中的内存静态推理
Yinzhi Cao	约翰霍普金斯大学	无服务器计算的自动静态资源分析
Luca Carlone	麻省理工学院	机器人实时空间人工智能
Trevor Carlson	新加坡国立大学	使用灵活的FPGA编程平台加速SAT求解
Marsha Chechik	多伦多大学	单调理论的不可满足性证明
Venanzio Cichella	爱荷华大学	大规模多机器人系统的并发分配与规划
Cas Cremers	CISPA亥姆霍兹信息安全中心	KeyLife: 安全协议中密钥生命周期的自动化形式化分析，包含策略、委托和泄露
Elizabeth Croft	莫纳什大学	帮助我！：人类通过增强现实支持机器人
Jia Deng	普林斯顿大学	受优化启发的视觉SLAM神经网络
Derek Dreyer	MPI-SWS	RefinedRust: 自动化验证存在不安全代码的Rust程序
Tudor Dumitras	马里兰大学帕克分校	减轻行为可变性和标签噪声对基于ML的恶意软件检测器的影响
Nima Fazeli	密歇根大学	使用高分辨率触觉传感器的物体操作
Earlence Fernandes	威斯康星大学麦迪逊分校	可验证的分布式计算
Marcelo Frias	布宜诺斯艾利斯理工学院	具有表达性契约的模块化有界验证
Sicun Gao	加州大学圣地亚哥分校	SMT中的内部搜索方法
Maani Ghaffari-Jadidi	密歇根大学	使用不变状态估计的家庭机器人鲁棒低成本航迹推算与定位
Roberto Giacobazzi	维罗纳大学	隐式程序分析
Ronghui Gu	哥伦比亚大学	学习真实分布式协议的归纳不变量
Grace Gu	加州大学伯克利分校	气动执行器的深度学习启发的鲁棒抓取
Leonidas Guibas	斯坦福大学	物体功能的通用3D感知
Arie Gurfinkel	滑铁卢大学	可信执行环境的形式化证明
Hamed Haddadi	帝国理工学院	使用TEE的可审计模型隐私
Felix Heide	普林斯顿大学	逆神经渲染
Ralph Hollis	卡内基梅隆大学	用于研究和教学的低成本动态移动机器人
Hongxin Hu	纽约州立大学布法罗分校	解释基于学习的入侵检测系统以进行主动入侵响应
Jean-Baptiste Jeannin	密歇根大学安娜堡分校	分布式系统实现的自动验证
Robert Katzschmann	苏黎世联邦理工学院	用于操作的软抓取器机构的设计与控制优化
Anirudh Sivaraman Kaushalram	纽约大学	观察和控制微服务部署
Steve Ko	西蒙菲莎大学	Rust的实用符号执行
Sven Koenig	南加州大学	用于履行中心的混合搜索和基于流量的MAPF系统
George Konidaris	布朗大学	学习可组合的操作技能
Emmanuel Letouzé	庞培法布拉大学	利用数字数据监测价值链沿线及周边的的人权和社会动态
Sergey Levine	加州大学伯克利分校	利用可重用数据进行机器人学习
Jennifer Lewis	哈佛大学	具有基于内在触觉传感控制能力的灵巧刚性-柔性抓取器的计算协同设计
Maja Matarić	南加州大学	通过原位增强现实学习家庭机器人的用户偏好
James Noble	惠灵顿维多利亚大学	让“编程变得困难”变得更容易：改进Dafny的人为因素
Rohan Padhye	卡内基梅隆大学	并发程序的覆盖率引导的基于属性的测试
Jan Peters	达姆施塔特工业大学	从触觉反馈中学习机器人操作
Lerrel Pinto	纽约大学	通过解耦表征学习在野外进行视觉模仿
Robert Platt	东北大学	通过等变模型在机器人上进行操作学习
Nancy Pollard	卡内基梅隆大学	用于操作捕捉、重定向和手部设计的接触区域
Pavithra Prabhakar	堪萨斯州立大学	演化中的ML软件系统的一致性检查
Francesco Ranzato	维罗纳大学	隐式程序分析
Sanjay Rao	普渡大学	从视频流的离线数据中回答反事实问题
Bruno Ribeiro	普渡大学	从视频流的离线数据中回答反事实问题
Talia Ringer	伊利诺伊大学厄巴纳-香槟分校	神经符号证明合成与修复
Alessandro Rizzo	都灵理工大学	用于自主机器人可信控制的数据物理驱动的机器学习
Camilo Rocha	哈维里亚那天主教大学卡利校区	用于P程序验证的概率和符号工具
Andrei Sabelfeld	查尔姆斯理工大学	DeepCrawl: 深度网络爬取的自动化推理
Oren Salzman	以色列理工学院	通过环境操作提高自动化仓库吞吐量
Ilya Sergey	新加坡国立大学	通过规范转换和合成扩展分布式协议的自动化验证
Michele Sevegnani	格拉斯哥大学	从白板到模型：面向所有人的图解形式化建模
Roland Siegwart	苏黎世联邦理工学院	空中机器人操纵器在非结构化室内外环境中的自主导航
Ramesh Sitaraman	马萨诸塞大学阿默斯特分校	高性能视频传输的自适应比特率算法的设计与评估
Fu Song	上海科技大学	密码系统恒定时间和时间平衡的高效精确验证
Zhendong Su	苏黎世联邦理工学院	构建可靠、鲁棒和高性能SMT求解器的实用技术
Jiliang Tang	密歇根州立大学	通过图神经网络驯服图异常检测
Pratap Tokekar	马里兰大学帕克分校	从风险视角看多机器人协同
Daniel Varro	麦吉尔大学	图求解器即服务
Yakir Vizel	以色列理工学院	量化不变量
David Wagner	加州大学伯克利分校	用于恶意软件检测的机器学习：应对概念漂移的鲁棒性
James Wang	宾夕法尼亚州立大学	人与智能机器在日常活动中的情感与社交互动
Shenlong Wang	伊利诺伊大学厄巴纳-香槟分校	使用增强现实安全测试自动驾驶汽车
Thomas Wies	纽约大学	已验证并发搜索结构算法的模块化库
Anton Wijs	埃因霍温理工大学	状态空间构建与分析的多核加速
Xinyu Xing	西北大学	对抗噪声标签分类
Meng Xu	滑铁卢大学	通过模糊测试发现规范盲点
Yuke Zhu	德克萨斯大学奥斯汀分校	用于从游戏构建结构化物体模型的交互式学习框架
Andrew Zisserman	牛津大学	通用视频的视听同步
更多精彩内容 请关注我的个人公众号 公众号（办公AI智能小助手）或者 我的个人博客 https://blog.qife122.com/
对网络安全、黑客技术感兴趣的朋友可以关注我的安全公众号（网络安全技术点滴分享）