作者 | 王曄

編輯 | 青暮

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

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

ARA在兩項(xiàng)提案征集活動(dòng)中為獎(jiǎng)項(xiàng)提供資助：Alexa Fairness in AI 和 AWS Automated Reasoning。

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

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

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

楊笛一

獲獎(jiǎng)研究：Towards Dialect-Robust and Inclusive Natural Language Understanding

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

她曾獲2020年亞馬遜研究獎(jiǎng)、SIGCHI 2021最佳論文榮譽(yù)提名、AAAI 2021新人獎(jiǎng)、CSCW 2020最佳論文榮譽(yù)提名、ICWSM 2019 最佳審稿人等獎(jiǎng)項(xiàng)。

個(gè)人主頁(yè)：https://www.cc.gatech.edu/~dyang888/

章啟潤(rùn)

獲獎(jiǎng)研究：Software Model Checking via Interleaved Dyck-Reachability

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

個(gè)人主頁(yè)：https://www.cc.gatech.edu/~qrzhang/

Danyang Zhuo

獲獎(jiǎng)研究：Push-Button Verification of Software Middleboxes

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

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

個(gè)人主頁(yè)：https://danyangzhuo.com/

Anthony Widjaja Lin

獲獎(jiǎng)研究：Certified Solvers and Proof Checkers forString Constraints

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

個(gè)人主頁(yè)：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)載。詳情見(jiàn)轉(zhuǎn)載須知。