作者 | 王曄

編輯 | 青暮

近日，亞馬遜公布了2021年春季研究獎（Spring 2021 Amazon Research Awards）獲獎?wù)呙麊危?26名獲獎?wù)咧杏?名華人學(xué)者獲獎。

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

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

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

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

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

楊笛一

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

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

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

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

章啟潤

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

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

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

Danyang Zhuo

獲獎研究：Push-Button Verification of Software Middleboxes

Danyang Zhuo，杜克大學(xué)計算機科學(xué)系的助理教授。在杜克大學(xué)之前，為加州大學(xué)伯克利分校RISE實驗室的博士后研究員，與Ion Stoica教授合作。在華盛頓大學(xué) Paul G. Allen計算機科學(xué)與工程學(xué)院由 Tom Anderson教授和 Arvind Krishnamurthy教授指導(dǎo)，完成了博士學(xué)位。他的研究曾獲得 FAST 最佳論文獎（2021 年）、IBM 學(xué)術(shù)獎（2021 年）。

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

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

Anthony Widjaja Lin

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

Anthony Widjaja Lin，是理論計算機科學(xué)教授、 ERC Starting Grant 研究員、德國凱澤斯勞滕技術(shù)大學(xué)Max-Planck研究員。目前，他專注于與邏輯相關(guān)的研究，涉及約束求解、程序分析和形式驗證領(lǐng)域，尤其受到以下問題的啟發(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)載須知。