75位研究奖项获得者公布
某中心今日公开宣布了2021年秋季提案征集的75位奖项获得者。这些获奖者代表了来自17个国家的52所大学,可获得300多个公共数据集的访问权限,并能使用某云服务的AI/ML工具。
某中心研究奖项计划为学术研究人员提供不受限制的资金和某云服务促销积分,支持多个学科的研究课题。每项奖项旨在支持一至两名研究生或博士后学生在教师指导下开展为期一年的研究工作。
研究领域覆盖广泛
本次公布的奖项涵盖2021年秋季周期的七个提案征集领域:
- AI用于信息安全
- 设备安全与隐私
- 支付系统
- 自动化推理
- 社会可持续性数据
- 视频服务
- 机器人技术
提案根据科学内容质量、创新性以及对研究社区和社会的潜在影响进行评审。理论进展、创新想法和实际应用均被纳入考量。
研究资源与支持
获奖者可访问300多个公共数据集,并通过某云服务促销积分使用AI/ML服务与工具。每位获奖者还将配有一位研究联系人,提供咨询和建议,并有机会参与相关活动与培训课程。
此外,某中心鼓励研究成果的发表、在全球办公室进行研究报告,以及根据开源许可发布相关代码。
代表性研究项目
自动化推理领域:
- 教授SMT求解器概率理论
- 可扩展模型与证明
- 服务器云中的SMT查询求解
- 分布式系统模型的编译实现
机器人技术领域:
- 机器人实时空间AI
- 遮挡和动态环境中的安全敏捷机器人导航
- 大规模多机器人系统的并发分配与规划
- 软体抓取器机制的设计与控制优化
AI安全领域:
- 基于学习的入侵检测系统解释
- 深度学习网络爬虫的自动化推理
- 加密系统恒定时间和时间平衡的验证
跨学科研究价值
"自动化推理研究与众多其他研究领域深度交织,涉及机器学习、硬件和软件工程、机器人技术和生命科学,"某自动化推理组高级首席科学家表示。"2021年研究奖项反映了这种广度,以及将计算向人类推理驱动迈进一步所需的跨学科研究性质。"
该奖项计划每年最多资助四次提案,涵盖各种研究领域。申请人可访问提案征集页面获取更多信息,或发送电子邮件以接收未来开放征集的通知。
| 获奖者 | 大学 | 研究标题 |
|---|---|---|
| Aws Albarghouthi | 威斯康星大学麦迪逊分校 | 教授SMT求解器概率理论 |
| Nada Amin | 哈佛大学 | 可扩展模型与证明 |
| Nora Ayanian | 布朗大学 | 仓库大规模标记多智能体路径规划 |
| Clark Barrett | 斯坦福大学 | 服务器云中的SMT查询求解 |
| Ivan Beschastnikh | 不列颠哥伦比亚大学 | 将分布式系统模型编译为实现 |