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 M. E. 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/cMSId/20191018A0OAAO00
留言列表
