7 月 17 日消息，ACM（Association for Computing Machinery，國(guó)際計(jì)算機(jī)學(xué)會(huì)）在前天公布 2020 年博士論文獎(jiǎng)。
清華校友、MIT 助理教授范楚楚，從候選人名單中脫穎而出，榮獲此獎(jiǎng)。
另外兩位候選人，則分別來(lái)自斯坦福大學(xué)和德國(guó)薩爾州大學(xué)。
值得一提的是，前兩年雖然也有華人入選 ACM 博士論文獎(jiǎng)，但獲得的都是榮譽(yù)提名獎(jiǎng)。
其中，獲得 2018 年 ACM 博士論文獎(jiǎng)提名的是清華姚班校友馬騰宇，而 2019 年獲提名的也是清華姚班校友吳佳俊，兩人的研究方向都與 AI 和機(jī)器學(xué)習(xí)相關(guān)。
▲ 左為馬騰宇，右為吳佳俊
今年，范楚楚不僅入圍，而且最終獲得了這一獎(jiǎng)項(xiàng)。那么，她的這篇論文究竟研究了什么？
“為自動(dòng)駕駛新算法奠定基礎(chǔ)”
這篇獲獎(jiǎng)的博士論文發(fā)表于 2019 年，是范楚楚就讀 UIUC 的畢業(yè)論文，與嵌入式和信息物理系統(tǒng)相關(guān)。
ACM 給出的入選理由是：
為嵌入式與信息物理系統(tǒng)的驗(yàn)證做出了奠基性貢獻(xiàn)，也展示了這項(xiàng)技術(shù)用于工業(yè)系統(tǒng)的可能性。
據(jù) ACM 介紹，范楚楚的這篇博士論文，主要貢獻(xiàn)有幾點(diǎn)：
提出了一個(gè)基于靈敏度分析、用于非線(xiàn)性混合系統(tǒng)有界驗(yàn)證的數(shù)據(jù)驅(qū)動(dòng)算法，目前已經(jīng)成立位于 UIUC 的初創(chuàng)公司，計(jì)劃將這種方法商業(yè)化；
開(kāi)發(fā)了一個(gè)模型在不完備條件下的“黑箱”驗(yàn)證算法，相關(guān)成果 DryVR，已經(jīng)被用于分布式機(jī)器人、醫(yī)療設(shè)備和智能駕駛輔助系統(tǒng)等領(lǐng)域；
提出了一種 RealSyn 方法，為自動(dòng)駕駛汽車(chē)的實(shí)時(shí)運(yùn)動(dòng)規(guī)劃算法研究奠定了基礎(chǔ)，有助于提出新的相關(guān)算法。
不僅有算法的提出，也有工具的開(kāi)發(fā)，像 DryVR 和 RealSyn 都是范楚楚開(kāi)發(fā)出來(lái)的工具。
從要點(diǎn)中可以看出，這篇論文涉及到的領(lǐng)域也非常廣泛，除了自動(dòng)駕駛以外，在機(jī)器人、醫(yī)療設(shè)備等行業(yè)也具有工業(yè)化潛力。
博士期間發(fā)表論文 20 余篇
范楚楚，現(xiàn)于麻省理工學(xué)院航空航天工程系擔(dān)任威爾遜助理教授（Wilson Assistant Professor），領(lǐng)導(dǎo) Reliable Autonomous Systems Lab。
其團(tuán)隊(duì)致力于運(yùn)用形式化方法、機(jī)器學(xué)習(xí)、控制論來(lái)解決安全控制系統(tǒng)從設(shè)計(jì)到驗(yàn)證的系列問(wèn)題。
從范楚楚的個(gè)人主頁(yè)上我們可以了解到，她 2013 年從清華大學(xué)自動(dòng)化系畢業(yè)，2019 年于美國(guó)伊利諾伊大學(xué)香檳分校（UIUC）電氣與計(jì)算機(jī)工程系獲得博士學(xué)位，主要研究方向?yàn)榘踩灾骷夹g(shù)（如自動(dòng)駕駛、航天器、無(wú)人機(jī)）、控制論、機(jī)器學(xué)習(xí)、機(jī)器人技術(shù)等。
之后前往加州理工大學(xué)攻讀博士后，2020 年成為 MIT 助理教授。
在清華求學(xué)期間，范楚楚就已經(jīng)開(kāi)啟超強(qiáng)學(xué)霸模式，在清華拿獎(jiǎng)拿到手軟。
她曾獲得清華大學(xué)優(yōu)秀（優(yōu)良）畢業(yè)生稱(chēng)號(hào)，在校期間獲得全國(guó)電子設(shè)計(jì)競(jìng)賽三等獎(jiǎng)、清華大學(xué)電子設(shè)計(jì)競(jìng)賽最佳硬件獎(jiǎng)、三星獎(jiǎng)學(xué)金、清華大學(xué)挑戰(zhàn)杯獎(jiǎng)等等榮譽(yù)。
赴美留學(xué)后，范楚楚在學(xué)術(shù)上逐漸嶄露頭角。
博士期間發(fā)表了近 20 篇期刊、會(huì)議論文，曾開(kāi)發(fā)出可用于汽車(chē)系統(tǒng)的框架 DryVR、可用于驗(yàn)證混合自動(dòng)機(jī)的工具 C2E2（Compare Execute Check Engine）、以及 RealSyn。
其發(fā)表論文從 2016 至今被引用數(shù)達(dá) 448 次。
與此同時(shí)，她還斬獲了 UIUC 授予博士生的一系列獎(jiǎng)項(xiàng)：
并在 2018 年獲得中國(guó)政府頒發(fā)的優(yōu)秀自費(fèi)留學(xué)生獎(jiǎng)學(xué)金。
One More Thing
你一定想不到，這位獲得 ACM 博士論文獎(jiǎng)的“學(xué)霸”，還是一位辣媽。
她在采訪(fǎng)中透露，自己曾經(jīng)帶著娃一起參與過(guò)高校的 4 次面試，過(guò)程也比較順利。
能夠同時(shí)兼顧學(xué)術(shù)和家庭，這樣的人生也是很硬核了。
廣告聲明：文內(nèi)含有的對(duì)外跳轉(zhuǎn)鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時(shí)間，結(jié)果僅供參考，IT之家所有文章均包含本聲明。