作者 | 陳彩嫻、琰琰
ACM 最新消息：伊利諾伊大學香檳分校（UIUC）的博士畢業生、清華校友范楚楚榮獲 2020 年 ACM 博士論文獎！
本次 ACM 博士論文獎最終評選名單有 3 人，除了范楚楚，其余兩位分別是來自斯坦福大學的 博士畢業生 Henry Corrigan-Gibbs （現任 MIT 助理教授）、德國薩爾州大學的博士畢業生 Ralf Jung。但最終，范楚楚脫穎而出，成為繼涂曉媛后第二位獲得該獎項的華人女性！
ACM 博士論文獎每年評選一次，一次評選一人，最終獲獎者可以獲得 2 萬美元，獲獎論文將發表在 ACM 數字圖書館上，收錄于 ACM 叢書系列。
獲獎工作介紹
范楚楚的獲獎工作為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 方法具有優于現有其他算法的性能，為自動車輛的實時運動規劃算法研究打下了基礎。
范楚楚是誰？
目前，范楚楚在麻省理工學院航空航天工程系擔任威爾森助理教授（Wilson Assistant Professor），領導 REALM （Reliable Autonomous Systems Lab at MIT）團隊，主要研究內容是用嚴謹的數學理論（包括形式化方法、機器學習與控制論）來設計、分析與驗證安全的自動化系統。出生于陜西的她，高中便就讀于聞名全國的西北工業大學附屬中學，期間曾多次參加全國數學競賽和物理競賽并獲獎。她在2009年考入清華大學自動化系，2013年獲得學士學位。清華就讀期間，她是名副其實的學霸，獲得過清華大學挑戰杯獎、清華大學電子設計競賽最佳硬件獎、全國電子設計競賽三等獎，以及清華大學優良畢業生榮譽稱號。從清華畢業后，范楚楚前往美國伊利諾伊大學香檳分校（UIUC），攻讀計算機工程系博士學位。在美讀書期間，她不僅發表了期刊論文和會議論文將近20篇，優秀的她還自主開發了三個工具——DryVR、C2E2、RealSyn，獲得的獎項數不勝數：因為過于優秀，她還在2018年獲得中國優秀自費留學生獎學金！獲得UIUC博士學位后，范楚楚又加入加州理工學院擔任博士后研究員，并于2020年成功申請到MIT 教職，于2020年秋季加入麻省理工學院航空航天工程系擔任助理教授一職。眾所周知，外籍博士生要想在美國頂級高校任教，必須通過層層篩選，更何況是國際頂級高校麻省理工大學。范楚楚能夠成功任職，可見其必有過人之處。當時，同為清華出身的杜克大學電子與計算機工程系教授陳怡然還在朋友圈發文祝賀。范楚楚已公開分享了自己申請教職的所有材料，感興趣的朋友可以查看她的個人主頁：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雷鋒網雷鋒網雷鋒網
雷峰網特約稿件，未經授權禁止轉載。詳情見轉載須知。
