清華校友斬獲ACM博士論文獎！相關研究為自動駕駛新算法奠定基礎
博士期間發表論文20余篇
明敏 蕭簫 發自 凹非寺
量子位 報道 | 公眾號 QbitAI
今天，ACM公布2020年博士論文獎！
清華校友、MIT助理教授范楚楚，從候選人名單中脫穎而出，榮獲此獎。
另外兩位候選人，則分別來自斯坦福大學和德國薩爾州大學。
值得一提的是，前兩年雖然也有華人入選ACM博士論文獎，但獲得的都是榮譽提名獎。
其中，獲得2018年ACM博士論文獎提名的是清華姚班校友馬騰宇，而2019年獲提名的也是清華姚班校友吳佳俊，兩人的研究方向都與AI和機器學習相關。
△左為馬騰宇，右為吳佳俊
今年，范楚楚不僅入圍，而且最終獲得了這一獎項。
那么，她的這篇論文究竟研究了什么？
“為自動駕駛新算法奠定基礎”
這篇獲獎的博士論文發表于2019年，是范楚楚就讀UIUC的畢業論文，與嵌入式和信息物理系統相關。
ACM給出的入選理由是：
為嵌入式與信息物理系統的驗證做出了奠基性貢獻，也展示了這項技術用于工業系統的可能性。
據ACM介紹，范楚楚的這篇博士論文，主要貢獻有幾點：
- 提出了一個基于靈敏度分析、用于非線性混合系統有界驗證的數據驅動算法，目前已經成立位于UIUC的初創公司，計劃將這種方法商業化；
- 開發了一個模型在不完備條件下的“黑箱”驗證算法，相關成果DryVR，已經被用于分布式機器人、醫療設備和智能駕駛輔助系統等領域；
- 提出了一種RealSyn方法，為自動駕駛汽車的實時運動規劃算法研究奠定了基礎，有助于提出新的相關算法
不僅有算法的提出，也有工具的開發，像DryVR和RealSyn都是范楚楚開發出來的工具。
從要點中可以看出，這篇論文涉及到的領域也非常廣泛，除了自動駕駛以外，在機器人、醫療設備等行業也具有工業化潛力。
博士期間發表論文20余篇
范楚楚，現于麻省理工學院航空航天工程系擔任威爾遜助理教授（Wilson Assistant Professor），領導Reliable Autonomous Systems Lab。
其團隊致力于運用形式化方法、機器學習、控制論來解決安全控制系統從設計到驗證的系列問題。
從范楚楚的個人主頁上我們可以了解到，她2013年從清華大學自動化系畢業，2019年于美國伊利諾伊大學香檳分校（UIUC）電氣與計算機工程系獲得博士學位，主要研究方向為安全自主技術（如自動駕駛、航天器、無人機）、控制論、機器學習、機器人技術等。
之后前往加州理工大學攻讀博士后，2020年成為MIT助理教授。
在清華求學期間，范楚楚就已經開啟超強學霸模式，在清華拿獎拿到手軟。
她曾獲得清華大學優秀（優良）畢業生稱號，在校期間獲得全國電子設計競賽三等獎、清華大學電子設計競賽最佳硬件獎、三星獎學金、清華大學挑戰杯獎等等榮譽。
赴美留學后，范楚楚在學術上逐漸嶄露頭角。
博士期間發表了近20篇期刊、會議論文，曾開發出可用于汽車系統的框架DryVR、可用于驗證混合自動機的工具C2E2（Compare Execute Check Engine）、以及RealSyn。
其發表論文從2016至今被引用數達448次。
與此同時，她還斬獲了UIUC授予博士生的一系列獎項：
并在2018年獲得中國政府頒發的優秀自費留學生獎學金。
One More Thing
你一定想不到，這位獲得ACM博士論文獎的“學霸”，還是一位辣媽。
她在采訪中透露，自己曾經帶著娃一起參與過高校的4次面試，過程也比較順利。
能夠同時兼顧學術和家庭，這樣的人生也是很硬核了~
論文地址：
https://www.ideals.illinois.edu/bitstream/handle/2142/106202/FAN-DISSERTATION-2019.pdf
參考鏈接：
[1]https://twitter.com/acspmse/status/1168110828224155654
[2]https://mp.weixin.qq.com/s/jJWVDNr0hcXj9oO0l9oYNQ
[3]https://chuchu.mit.edu/
- DeepSeek-V3.2-Exp第一時間上線華為云2025-09-29
- 你的AI助手更萬能了！天禧合作字節扣子，解鎖無限新功能2025-09-26
- 你的最快安卓芯片發布了！全面為Agent鋪路2025-09-26
- 任少卿在中科大招生了！碩博都可，推免學生下周一緊急面試2025-09-20
