news 2026/4/28 16:38:07

75项研究奖项公布,聚焦AI、机器人等核心技术

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
75项研究奖项公布,聚焦AI、机器人等核心技术

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 CremersCISPA亥姆霍兹信息安全中心KeyLife:针对具有策略、委托和泄露的安全协议中密钥生命周期的自动化形式化分析
Elizabeth Croft莫纳什大学帮助我!:人类通过增强现实支持机器人
Jia Deng普林斯顿大学用于视觉SLAM的优化启发式神经网络
Derek DreyerMPI - SWSRefinedRust:在存在不安全代码的情况下自动化验证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牛津大学通用视频的视听同步
更多精彩内容 请关注我的个人公众号 公众号(办公AI智能小助手)或者 我的个人博客 https://blog.qife122.com/
对网络安全、黑客技术感兴趣的朋友可以关注我的安全公众号(网络安全技术点滴分享)
版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/4/19 1:14:10

Llama3-8B金融场景应用:风险报告生成实战案例

Llama3-8B金融场景应用:风险报告生成实战案例 1. 为什么选Llama3-8B做金融报告生成? 金融行业每天要处理大量监管文件、信贷评估、市场波动分析和合规审查。传统方式靠人工撰写风险报告,耗时长、格式不统一、关键指标容易遗漏。而市面上的通…

作者头像 李华
网站建设 2026/4/28 8:26:28

USB OTG主机模式工作原理解析:深度剖析

以下是对您提供的博文《USB OTG 主机模式工作原理解析:深度剖析》的 全面润色与重构版本 。本次优化严格遵循您的全部要求: ✅ 彻底去除AI痕迹,语言自然、专业、有“人味”——像一位深耕嵌入式USB多年的工程师在技术分享; ✅ 打破模板化结构,取消所有“引言/概述/总结…

作者头像 李华
网站建设 2026/4/27 12:47:54

广告设计利器!UNet人脸融合在营销中的应用

广告设计利器!UNet人脸融合在营销中的应用 1. 为什么广告团队需要这个人脸融合工具 你有没有遇到过这些场景: 电商大促前,设计师要为20个不同模特制作同款服装的宣传图,每张都要精修换脸、调色、抠图,加班到凌晨三点…

作者头像 李华
网站建设 2026/4/28 0:16:06

不用绿幕也行?BSHM镜像单图抠人像实战体验

不用绿幕也行?BSHM镜像单图抠人像实战体验 你有没有过这样的经历:想给一张普通照片换背景,却发现PS里手动抠图耗时又费力,边缘毛发总处理不干净;想快速生成带透明通道的电商模特图,却卡在绿幕搭建和打光环…

作者头像 李华
网站建设 2026/4/27 17:46:36

推理速度太慢?麦橘超然bfloat16精度优化教程

推理速度太慢?麦橘超然bfloat16精度优化教程 你是不是也遇到过这样的情况:明明显卡不差,跑 Flux 模型却卡得像在加载网页;生成一张图要等一分多钟,改个提示词都得反复刷新;显存刚占满一半,系统…

作者头像 李华
网站建设 2026/4/23 14:59:11

理解三极管工作状态在工业自动化中的意义:通俗解释

以下是对您提供的技术博文进行 深度润色与专业重构后的版本 。整体风格更贴近一位深耕工业自动化硬件多年的资深工程师在技术社区中的真实分享——语言自然、逻辑严密、案例扎实,摒弃AI腔与教科书式结构,强化工程语境下的“为什么这么做”和“不这么做会怎样”,同时大幅增…

作者头像 李华