清華校友斬獲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




