清華校友斬獲ACM博士論文獎(jiǎng)！相關(guān)研究為自動(dòng)駕駛新算法奠定基礎(chǔ)

明敏 2021-07-15 13:49:14 來源：量子位

明敏 蕭簫 發(fā)自 凹非寺
量子位 報(bào)道 | 公眾號(hào) QbitAI

今天，ACM公布2020年博士論文獎(jiǎng)！

清華校友、MIT助理教授范楚楚，從候選人名單中脫穎而出，榮獲此獎(jiǎng)。

另外兩位候選人，則分別來自斯坦福大學(xué)和德國薩爾州大學(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è)基于靈敏度分析、用于非線性混合系統(tǒng)有界驗(yàn)證的數(shù)據(jù)驅(qū)動(dòng)算法，目前已經(jīng)成立位于UIUC的初創(chuàng)公司，計(jì)劃將這種方法商業(yè)化；
• 開發(fā)了一個(gè)模型在不完備條件下的“黑箱”驗(yàn)證算法，相關(guān)成果DryVR，已經(jīng)被用于分布式機(jī)器人、醫(yī)療設(shè)備和智能駕駛輔助系統(tǒng)等領(lǐng)域；
• 提出了一種RealSyn方法，為自動(dòng)駕駛汽車的實(shí)時(shí)運(yùn)動(dòng)規(guī)劃算法研究奠定了基礎(chǔ)，有助于提出新的相關(guān)算法

不僅有算法的提出，也有工具的開發(fā)，像DryVR和RealSyn都是范楚楚開發(fā)出來的工具。

從要點(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í)、控制論來解決安全控制系統(tǒng)從設(shè)計(jì)到驗(yàn)證的系列問題。

從范楚楚的個(gè)人主頁上我們可以了解到，她2013年從清華大學(xué)自動(dòng)化系畢業(yè)，2019年于美國伊利諾伊大學(xué)香檳分校（UIUC）電氣與計(jì)算機(jī)工程系獲得博士學(xué)位，主要研究方向?yàn)榘踩灾骷夹g(shù)（如自動(dòng)駕駛、航天器、無人機(jī)）、控制論、機(jī)器學(xué)習(xí)、機(jī)器人技術(shù)等。

之后前往加州理工大學(xué)攻讀博士后，2020年成為MIT助理教授。

在清華求學(xué)期間，范楚楚就已經(jīng)開啟超強(qiáng)學(xué)霸模式，在清華拿獎(jiǎng)拿到手軟。

她曾獲得清華大學(xué)優(yōu)秀（優(yōu)良）畢業(yè)生稱號(hào)，在校期間獲得全國電子設(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ì)議論文，曾開發(fā)出可用于汽車系統(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年獲得中國政府頒發(fā)的優(yōu)秀自費(fèi)留學(xué)生獎(jiǎng)學(xué)金。

One More Thing

你一定想不到，這位獲得ACM博士論文獎(jiǎng)的“學(xué)霸”，還是一位辣媽。

她在采訪中透露，自己曾經(jīng)帶著娃一起參與過高校的4次面試，過程也比較順利。

能夠同時(shí)兼顧學(xué)術(shù)和家庭，這樣的人生也是很硬核了~

論文地址：
https://www.ideals.illinois.edu/bitstream/handle/2142/106202/FAN-DISSERTATION-2019.pdf

參考鏈接：
[1]https://twitter.com/acspmse/status/1168110828224155654
[2]https://mp.weixin.qq.com/s/jJWVDNr0hcXj9oO0l9oYNQ
[3]https://chuchu.mit.edu/