作者 | 陳彩嫻、琰琰
ACM 最新消息：伊利諾伊大學(xué)香檳分校（UIUC）的博士畢業(yè)生、清華校友范楚楚榮獲 2020 年 ACM 博士論文獎(jiǎng)！
本次 ACM 博士論文獎(jiǎng)最終評(píng)選名單有 3 人，除了范楚楚，其余兩位分別是來自斯坦福大學(xué)的 博士畢業(yè)生 Henry Corrigan-Gibbs （現(xiàn)任 MIT 助理教授）、德國薩爾州大學(xué)的博士畢業(yè)生 Ralf Jung。但最終，范楚楚脫穎而出，成為繼涂曉媛后第二位獲得該獎(jiǎng)項(xiàng)的華人女性！
ACM 博士論文獎(jiǎng)每年評(píng)選一次，一次評(píng)選一人，最終獲獎(jiǎng)?wù)呖梢垣@得 2 萬美元，獲獎(jiǎng)?wù)撐膶l(fā)表在 ACM 數(shù)字圖書館上，收錄于 ACM 叢書系列。
獲獎(jiǎng)工作介紹
范楚楚的獲獎(jiǎng)工作為2019年從UIUC獲得博士學(xué)位的論文，題目是“Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications”，入選理由是：這篇工作為嵌入式與信息物理系統(tǒng)的驗(yàn)證做出了奠基性貢獻(xiàn)，且展示了該技術(shù)應(yīng)用于工業(yè)系統(tǒng)的可能性。論文鏈接：https://www.ideals.illinois.edu/handle/2142/106202具體地，范楚楚的論文：1）推動(dòng)了靈敏度分析與符號(hào)可達(dá)性理論的進(jìn)步；2）開發(fā)了一系列驗(yàn)證算法與軟件工具（DryVR 與 Realsyn）；3）清晰地展示了驗(yàn)證技術(shù)在工業(yè)規(guī)模的自動(dòng)系統(tǒng)中的應(yīng)用。在論文中，范楚楚所提出的算法是第一個(gè)基于靈敏度分析的、用于非線性混合系統(tǒng)有界驗(yàn)證的數(shù)據(jù)驅(qū)動(dòng)算法，已獲得專利，并進(jìn)入了初步的商業(yè)化實(shí)踐。范楚楚還開發(fā)了第一個(gè)用不完整模型來驗(yàn)證“黑盒子”系統(tǒng)的算法，這個(gè)不完整模型結(jié)合了概率近似正確（PAC）學(xué)習(xí)、模擬關(guān)系與定點(diǎn)分析。這篇工作產(chǎn)生了一個(gè)工具，叫 DryVR，已經(jīng)在幾十個(gè)系統(tǒng)上得到應(yīng)用，包括高級(jí)駕駛輔助系統(tǒng)、基于神經(jīng)網(wǎng)絡(luò)的控制器、分布式機(jī)器人與醫(yī)療設(shè)備等等。此外，范楚楚的算法在非線性車輛模型系統(tǒng)的合成控制器中具有廣泛的應(yīng)用前景。這篇工作中提出的 RealSyn 方法具有優(yōu)于現(xiàn)有其他算法的性能，為自動(dòng)車輛的實(shí)時(shí)運(yùn)動(dòng)規(guī)劃算法研究打下了基礎(chǔ)。
范楚楚是誰？
目前，范楚楚在麻省理工學(xué)院航空航天工程系擔(dān)任威爾森助理教授（Wilson Assistant Professor），領(lǐng)導(dǎo) REALM （Reliable Autonomous Systems Lab at MIT）團(tuán)隊(duì)，主要研究?jī)?nèi)容是用嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)理論（包括形式化方法、機(jī)器學(xué)習(xí)與控制論）來設(shè)計(jì)、分析與驗(yàn)證安全的自動(dòng)化系統(tǒng)。范楚楚在學(xué)生時(shí)代就獲獎(jiǎng)無數(shù)。出生于陜西的她，高中便就讀于聞名全國的西北工業(yè)大學(xué)附屬中學(xué)，期間曾多次參加全國數(shù)學(xué)競(jìng)賽和物理競(jìng)賽并獲獎(jiǎng)。她在2009年考入清華大學(xué)自動(dòng)化系，2013年獲得學(xué)士學(xué)位。清華就讀期間，她是名副其實(shí)的學(xué)霸，獲得過清華大學(xué)挑戰(zhàn)杯獎(jiǎng)、清華大學(xué)電子設(shè)計(jì)競(jìng)賽最佳硬件獎(jiǎng)、全國電子設(shè)計(jì)競(jìng)賽三等獎(jiǎng)，以及清華大學(xué)優(yōu)良畢業(yè)生榮譽(yù)稱號(hào)。從清華畢業(yè)后，范楚楚前往美國伊利諾伊大學(xué)香檳分校（UIUC），攻讀計(jì)算機(jī)工程系博士學(xué)位。在美讀書期間，她不僅發(fā)表了期刊論文和會(huì)議論文將近20篇，優(yōu)秀的她還自主開發(fā)了三個(gè)工具——DryVR、C2E2、RealSyn，獲得的獎(jiǎng)項(xiàng)數(shù)不勝數(shù)：UIUC CSL 學(xué)生論文獎(jiǎng)
UIUC Robert T. Chien 紀(jì)念獎(jiǎng)
UIUC MF3
UIUC M. E. Van Valkenburg 科研獎(jiǎng)
UIUC EECS 新星獎(jiǎng)
入選 EMSOFT 最佳論文候選名單
UIUC Rambus計(jì)算機(jī)工程獎(jiǎng)學(xué)金……
因?yàn)檫^于優(yōu)秀，她還在2018年獲得中國優(yōu)秀自費(fèi)留學(xué)生獎(jiǎng)學(xué)金！獲得UIUC博士學(xué)位后，范楚楚又加入加州理工學(xué)院擔(dān)任博士后研究員，并于2020年成功申請(qǐng)到MIT 教職，于2020年秋季加入麻省理工學(xué)院航空航天工程系擔(dān)任助理教授一職。眾所周知，外籍博士生要想在美國頂級(jí)高校任教，必須通過層層篩選，更何況是國際頂級(jí)高校麻省理工大學(xué)。范楚楚能夠成功任職，可見其必有過人之處。當(dāng)時(shí)，同為清華出身的杜克大學(xué)電子與計(jì)算機(jī)工程系教授陳怡然還在朋友圈發(fā)文祝賀。范楚楚已公開分享了自己申請(qǐng)教職的所有材料，感興趣的朋友可以查看她的個(gè)人主頁：http://chuchu.mit.edu/。1. https://awards.acm.org/about/2020-doctoral-dissertation2. https://awards.acm.org/award_winners/fan_51340713. http://chuchu.mit.edu/4. https://www.sohu.com/a/337926325_4732835. https://xw.qq.com/cmsid/20191018A0OAAO00雷鋒網(wǎng)雷鋒網(wǎng)雷鋒網(wǎng)
雷峰網(wǎng)特約稿件，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。
