2021年春季亚马逊研究奖获得者揭晓，4位华人学者入选！

近日，亚马逊公布了2021年春季研究奖（Spring 2021 Amazon Research Awards）获奖者名单， 26名获奖者中有4名华人学者获奖。

亚马逊研究奖 (ARA) 成立于 2015 年，并于 2020 年与 AWS 机器学习研究奖 (MLRA) 合并。该计划旨在为多个学科研究主题的学术研究人员提供不受限制的资金。

ARA在两项提案征集活动中为奖项提供资助：Alexa Fairness in AI 和 AWS Automated Reasoning。

此外，亚马逊还鼓励发布研究成果、在亚马逊全球办事处进行研究演示，以及根据开源许可证发布相关代码。

自动化推理组高级首席科学家Daniel Kroening表示："自动化推理研究与广泛的其他研究领域紧密相连，涉及机器学习、硬件和软件工程、机器人和生命科学。"

以下是华人学者获奖名单介绍（排名不分先后）：

杨笛一

获奖研究：Towards Dialect-Robust and Inclusive Natural Language Understanding

杨笛一，佐治亚理工学院互动计算学院的助理教授，隶属于佐治亚理工学院机器学习中心（ML@GT）。她主要研究计算社会科学和自然语言处理，研究目标是更好地了解社会背景下的人类交流，建立具有社会意识的智能系统，以支持人与人和人与计算机的大规模互动。

她曾获2020年亚马逊研究奖、SIGCHI 2021最佳论文荣誉提名、AAAI 2021新人奖、CSCW 2020最佳论文荣誉提名、ICWSM 2019 最佳审稿人等奖项。

个人主页：https://www.cc.gatech.edu/~dyang888/

章启润

获奖研究：Software Model Checking via Interleaved Dyck-Reachability

章启润，佐治亚理工学院计算机科学学院助理教授。他从事于研究编程语言和软件工程领域，特别是专注于提高软件可靠性和安全性的技术。他的研究兴趣是从计算复杂性、分析组合学、图论和形式语言等角度研究程序分析和编译器优化问题。

个人主页：https://www.cc.gatech.edu/~qrzhang/

Danyang Zhuo

获奖研究：Push-Button Verification of Software Middleboxes

Danyang Zhuo，杜克大学计算机科学系的助理教授。在杜克大学之前，为加州大学伯克利分校RISE实验室的博士后研究员，与Ion Stoica教授合作。在华盛顿大学 Paul G. Allen计算机科学与工程学院由 Tom Anderson教授和 Arvind Krishnamurthy教授指导，完成了博士学位。他的研究曾获得 FAST 最佳论文奖（2021 年）、IBM 学术奖（2021 年）。

他的团队构建了高效、可扩展和可靠的系统来支持数据密集型应用程序（例如，深度学习、大数据分析、数据包处理），并使用了广泛的技术，包括软件架构设计、编程语言和机器学习。

个人主页：https://danyangzhuo.com/

Anthony Widjaja Lin

获奖研究：Certified Solvers and Proof Checkers forString Constraints

Anthony Widjaja Lin，是理论计算机科学教授、 ERC Starting Grant 研究员、德国凯泽斯劳滕技术大学Max-Planck研究员。目前，他专注于与逻辑相关的研究，涉及约束求解、程序分析和形式验证领域，尤其受到以下问题的启发：Web 安全性、Web 性能优化和具有许多并发程序的分析过程。

个人主页：https://anthonywlin.github.io/

雷锋网雷锋网雷锋网