75位某机构研究奖项获奖者名单公布
某机构研究奖项是一项为学术研究人员提供无限制资金和AWS促销额度的计划，支持多个学科的研究课题。此次公开宣布了75位获奖者，他们代表了来自17个国家的52所大学。每项奖项旨在支持一名或两名研究生或博士后学生在一位教师的指导下进行为期一年的工作。
此轮公告包含了在2021年秋季周期内，根据七个提案征集计划资助的奖项：AI用于信息安全、某机构设备安全与隐私、某机构支付、AWS自动化推理、社会可持续性数据、Prime Video以及机器人学。提案根据其科学内容的质量、创造力以及对研究社区和更广泛社会的潜在影响进行评审。理论进展、创新想法和实际应用均被考虑在内。
获奖者可以访问超过300个某机构公共数据集，并可以通过其AWS促销额度使用AWS人工智能/机器学习服务与工具。获奖者还会被分配一位某机构研究联系人，提供咨询和建议，并有机会参与某机构的活动和培训课程。此外，该机构鼓励发表研究成果、在全球某机构办公室展示研究，并根据开源许可证发布相关代码。
“自动化推理的研究与广泛的其他研究领域深度交织，涉及机器学习、硬件与软件工程、机器人学和生命科学，” 自动化推理组的一位高级首席科学家表示。“2021年某机构研究奖项反映了这种广度，以及将计算更接近驱动人类推理的神奇火花所必需的跨学科研究性质。”
该研究奖项每年在多个研究领域资助提案多达四次。鼓励申请者访问ARA提案征集页面获取更多信息，或发送电子邮件以便接收未来公开征集的通.
下表按字母顺序列出了2021年秋季周期提案征集的获奖者。
| 获奖者 | 大学 | 研究标题 |
|---|---|---|
| Aws Albarghouthi | 威斯康星大学麦迪逊分校 | 向SMT求解器教授概率论 |
| Nada Amin | 哈佛大学 | 可扩展的模型与证明 |
| Nora Ayanian | 布朗大学 | 面向仓库的大规模标记多智能体路径规划 |
| Clark Barrett | 斯坦福大学 | HydraScale：在无服务器云中求解SMT查询 |
| Ivan Beschastnikh | 英属哥伦比亚大学 | 将分布式系统模型编译为实现 |
| Nicola Bezzo | 弗吉尼亚大学 | 迈向在遮挡和动态环境中的安全敏捷机器人导航 |
| William Bowman | 英属哥伦比亚大学 | 编译器和中间语言中的内存静态推理 |
| Yinzhi Cao | 约翰斯·霍普金斯大学 | 无服务器计算的自动静态资源分析 |
| Luca Carlone | 麻省理工学院 | 面向机器人的实时空间AI |
| 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 | 马里兰大学帕克分校 | 减轻行为变异性和标签噪声对基于机器学习的恶意软件检测器的影响 |
| 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 | 马萨诸塞大学阿默斯特分校 | 用于高性能视频传输的ABR算法设计与评估 |
| 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 | 牛津大学 | 通用视频的视听同步 |
