ACM最新消息：伊利諾伊大學香檳分校（UIUC）的博士畢業生、清華校友範楚楚榮獲2020年ACM博士論文獎！本次ACM博士論文獎最終評選名單有3人，除了範楚楚，其餘兩位分別是來自斯坦福大學的博士畢業生Henry Corrigan-Gibbs （現任MIT助理教授）、德國薩爾州大學的博士畢業生Ralf Jung。但最終，範楚楚脫穎而出，成為繼塗曉媛後第二位獲得該獎項的華人女性！

ACM 博士論文獎每年評選一次，一次評選一人，最終獲獎者可以獲得2 萬美元，獲獎論文將發表在ACM 數字圖書館上，收錄於ACM 叢書系列。1

獲獎工作介紹

範楚楚的獲獎工作為2019年從UIUC獲得博士學位的論文，題目是“ Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications ”，入選理由是：這篇工作為嵌入式與信息物理系統的驗證做出了奠基性貢獻，且展示了該技術應用於工業系統的可能性。

論文鏈接：https://www.ideals.illinois.edu/handle/2142/106202

具體地，範楚楚的論文：

1） 推動了靈敏度分析與符號可達性理論的進步；

2） 開發了一系列驗證算法與軟件工具（DryVR 與Realsyn）；

3） 清晰地展示了驗證技術在工業規模的自動系統中的應用。

在論文中，範楚楚所提出的算法是第一個基於靈敏度分析的、用於非線性混合系統有界驗證的數據驅動算法，已獲得專利，並進入了初步的商業化實踐。

範楚楚還開發了第一個用不完整模型來驗證“黑盒子”系統的算法，這個不完整模型結合了概率近似正確（PAC） 學習、模擬關係與定點分析。這篇工作產生了一個工具，叫DryVR， 已經在幾十個系統上得到應用，包括高級駕駛輔助系統、基於神經網絡的控制器、分佈式機器人與醫療設備等等。

此外，範楚楚的算法在非線性車輛模型系統的合成控制器中具有廣泛的應用前景。這篇工作中提出的RealSyn 方法具有優於現有其他算法的性能，為自動車輛的實時運動規划算法研究打下了基礎。2

範楚楚是誰？

目前，範楚楚在麻省理工學院航空航天工程系擔任威爾森助理教授（Wilson Assistant Professor）， 領導REALM （Reliable Autonomous Systems Lab at MIT） 團隊，主要研究內容是用嚴謹的數學理論（包括形式化方法、機器學習與控制論）來設計、分析與驗證安全的自動化系統。

範楚楚在學生時代就獲獎無數。

出生於陝西的她，高中便就讀於聞名全國的西北工業大學附屬中學，期間曾多次參加全國數學競賽和物理競賽並獲獎。她在2009 年考入清華大學自動化系，2013 年獲得學士學位。清華就讀期間，她是名副其實的學霸，獲得過清華大學挑戰盃獎、清華大學電子設計競賽最佳硬件獎、全國電子設計競賽三等獎，以及清華大學優良畢業生榮譽稱號。

從清華畢業後，範楚楚前往美國伊利諾伊大學香檳分校（UIUC）， 攻讀計算機工程系博士學位。在美讀書期間，她不僅發表了期刊論文和會議論文將近20 篇，優秀的她還自主開發了三個工具——DryVR、C2E2、RealSyn， 獲得的獎項數不勝數：

• UIUC CSL 學生論文獎
• UIUC Robert T. Chien 紀念獎
• UIUC MF3
• UIUC ME Van Valkenburg 科研獎
• UIUC EECS 新星獎
• 入選EMSOFT 最佳論文候選名單
• UIUC Rambus 計算機工程獎學金……

因為過於優秀，她還在2018 年獲得中國優秀自費留學生獎學金！

獲得UIUC 博士學位後，範楚楚又加入加州理工學院擔任博士後研究員，並於2020 年成功申請到MIT 教職，於2020 年秋季加入麻省理工學院航空航天工程系擔任助理教授一職。

眾所周知，外籍博士生要想在美國頂級高校任教，必須通過層層篩選，更何況是國際頂級高校麻省理工大學。範楚楚能夠成功任職，可見其必有過人之處。當時，同為清華出身的杜克大學電子與計算機工程系教授陳怡然還在朋友圈發文祝賀。

範楚楚已公開分享了自己申請教職的所有材料，感興趣的朋友可以查看她的個人主頁：http://chuchu.mit.edu/。

參考鏈接： 

1. https://awards.acm.org/about/2020-doctoral-dissertation

2. https://awards.acm.org/award_winners/fan_5134071

3. http://chuchu.mit.edu/

4. https://www.sohu.com/a/337926325_473283

5. https://xw.qq.com/c MSI d/20191018A0OAAO00