作者 | 王曄

編輯 | 青暮

近日，亞馬遜公布了2021年春季研究獎（Spring 2021 Amazon Research Awards）獲獎者名單， 26名獲獎者中有4名華人學者獲獎。

亞馬遜研究獎 (ARA) 成立于 2015 年，并于 2020 年與 AWS 機器學習研究獎 (MLRA) 合并。該計劃旨在為多個學科研究主題的學術研究人員提供不受限制的資金。

ARA在兩項提案征集活動中為獎項提供資助：Alexa Fairness in AI 和 AWS Automated Reasoning。

此外，亞馬遜還鼓勵發(fā)布研究成果、在亞馬遜全球辦事處進行研究演示，以及根據(jù)開源許可證發(fā)布相關代碼。

自動化推理組高級首席科學家Daniel Kroening表示："自動化推理研究與廣泛的其他研究領域緊密相連，涉及機器學習、硬件和軟件工程、機器人和生命科學。"

以下是華人學者獲獎名單介紹（排名不分先后）：

楊笛一

獲獎研究：Towards Dialect-Robust and Inclusive Natural Language Understanding

楊笛一，佐治亞理工學院互動計算學院的助理教授，隸屬于佐治亞理工學院機器學習中心（ML@GT）。她主要研究計算社會科學和自然語言處理，研究目標是更好地了解社會背景下的人類交流，建立具有社會意識的智能系統(tǒng)，以支持人與人和人與計算機的大規(guī)?；?。

她曾獲2020年亞馬遜研究獎、SIGCHI 2021最佳論文榮譽提名、AAAI 2021新人獎、CSCW 2020最佳論文榮譽提名、ICWSM 2019 最佳審稿人等獎項。

個人主頁：https://www.cc.gatech.edu/~dyang888/

章啟潤

獲獎研究：Software Model Checking via Interleaved Dyck-Reachability

章啟潤，佐治亞理工學院計算機科學學院助理教授。他從事于研究編程語言和軟件工程領域，特別是專注于提高軟件可靠性和安全性的技術。他的研究興趣是從計算復雜性、分析組合學、圖論和形式語言等角度研究程序分析和編譯器優(yōu)化問題。

個人主頁：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 年）。

他的團隊構(gòu)建了高效、可擴展和可靠的系統(tǒng)來支持數(shù)據(jù)密集型應用程序（例如，深度學習、大數(shù)據(jù)分析、數(shù)據(jù)包處理），并使用了廣泛的技術，包括軟件架構(gòu)設計、編程語言和機器學習。

個人主頁：https://danyangzhuo.com/

Anthony Widjaja Lin

獲獎研究：Certified Solvers and Proof Checkers forString Constraints

Anthony Widjaja Lin，是理論計算機科學教授、 ERC Starting Grant 研究員、德國凱澤斯勞滕技術大學Max-Planck研究員。目前，他專注于與邏輯相關的研究，涉及約束求解、程序分析和形式驗證領域，尤其受到以下問題的啟發(fā)：Web 安全性、Web 性能優(yōu)化和具有許多并發(fā)程序的分析過程。

個人主頁：https://anthonywlin.github.io/

參考鏈接：

https://www.amazon.science/research-awards/program-updates/spring-2021-amazon-research-awards-recipients-announced

雷鋒網(wǎng)雷鋒網(wǎng)雷鋒網(wǎng)

雷峰網(wǎng)版權(quán)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。