據(jù)雷鋒網(wǎng)學(xué)校，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 叢書系列。

1

獲獎(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)的可能性。

具體地，范楚楚的論文：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ǔ)。

2

范楚楚是誰？

目前，范楚楚在麻省理工學(xué)院航空航天工程系擔(dān)任威爾森助理教授（Wilson Assistant Professor），領(lǐng)導(dǎo) REALM （Reliable Autonomous Systems Lab at MIT）團(tuán)隊(duì)，主要研究內(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é)競賽和物理競賽并獲獎(jiǎng)。她在2009年考入清華大學(xué)自動(dòng)化系，2013年獲得學(xué)士學(xué)位。清華就讀期間，她是名副其實(shí)的學(xué)霸，獲得過清華大學(xué)挑戰(zhàn)杯獎(jiǎng)、清華大學(xué)電子設(shè)計(jì)競賽最佳硬件獎(jiǎng)、全國電子設(shè)計(jì)競賽三等獎(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é)。范楚楚能夠成功任職，可見其必有過人之處。