清華校友斬獲ACM博士論文獎(jiǎng)！相關(guān)研究為自動(dòng)駕駛新算法奠定基礎(chǔ)
點(diǎn)擊上方“視學(xué)算法”，選擇加"星標(biāo)"或“置頂”
重磅干貨，第一時(shí)間送達(dá)
明敏 蕭簫 發(fā)自 凹非寺
量子位 報(bào)道 | 公眾號(hào) QbitAI
今天，ACM公布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è)基于靈敏度分析、用于非線性混合系統(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é)霸”，還是一位辣媽。
她在采訪中透露，自己曾經(jīng)帶著娃一起參與過(guò)高校的4次面試，過(guò)程也比較順利。
能夠同時(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/
— 完 —
本文系網(wǎng)易新聞?網(wǎng)易號(hào)特色內(nèi)容激勵(lì)計(jì)劃簽約賬號(hào)【量子位】原創(chuàng)內(nèi)容，未經(jīng)賬號(hào)授權(quán)，禁止隨意轉(zhuǎn)載。
點(diǎn)個(gè)在看 paper不斷！