ACM(Association for Computing Machinery，國際計算機學(xué)會)在前天公布2020 年博士論文獎。
清華校友、MIT 助理教授范楚楚，從候選人名單中脫穎而出，榮獲此獎。
另外兩位候選人，則分別來自斯坦福大學(xué)和德國薩爾州大學(xué)。
值得一提的是，前兩年雖然也有華人入選 ACM 博士論文獎，但獲得的都是榮譽提名獎。
其中，獲得 2018 年 ACM 博士論文獎提名的是清華姚班校友馬騰宇，而 2019 年獲提名的也是清華姚班校友吳佳俊，兩人的研究方向都與 AI 和機器學(xué)習(xí)相關(guān)。
今年，范楚楚不僅入圍，而且最終獲得了這一獎項。那么，她的這篇論文究竟研究了什么?
“為自動駕駛新算法奠定基礎(chǔ)”
這篇獲獎的博士論文發(fā)表于 2019 年，是范楚楚就讀 UIUC 的畢業(yè)論文，與嵌入式和信息物理系統(tǒng)相關(guān)。
ACM 給出的入選理由是：
為嵌入式與信息物理系統(tǒng)的驗證做出了奠基性貢獻，也展示了這項技術(shù)用于工業(yè)系統(tǒng)的可能性。
據(jù) ACM 介紹，范楚楚的這篇博士論文，主要貢獻有幾點：
提出了一個基于靈敏度分析、用于非線性混合系統(tǒng)有界驗證的數(shù)據(jù)驅(qū)動算法，目前已經(jīng)成立位于 UIUC 的初創(chuàng)公司，計劃將這種方法商業(yè)化;
開發(fā)了一個模型在不完備條件下的“黑箱”驗證算法，相關(guān)成果 DryVR，已經(jīng)被用于分布式機器人、醫(yī)療設(shè)備和智能駕駛輔助系統(tǒng)等領(lǐng)域;
提出了一種 RealSyn 方法，為自動駕駛汽車的實時運動規(guī)劃算法研究奠定了基礎(chǔ)，有助于提出新的相關(guān)算法。
不僅有算法的提出，也有工具的開發(fā)，像 DryVR 和 RealSyn 都是范楚楚開發(fā)出來的工具。
從要點中可以看出，這篇論文涉及到的領(lǐng)域也非常廣泛，除了自動駕駛以外，在機器人、醫(yī)療設(shè)備等行業(yè)也具有工業(yè)化潛力。
博士期間發(fā)表論文 20 余篇
范楚楚，現(xiàn)于麻省理工學(xué)院航空航天工程系擔(dān)任威爾遜助理教授(Wilson Assistant Professor)，領(lǐng)導(dǎo) Reliable Autonomous Systems Lab。
其團隊致力于運用形式化方法、機器學(xué)習(xí)、控制論來解決安全控制系統(tǒng)從設(shè)計到驗證的系列問題。
從范楚楚的個人主頁上我們可以了解到，她 2013 年從清華大學(xué)自動化系畢業(yè)，2019 年于美國伊利諾伊大學(xué)香檳分校(UIUC)電氣與計算機工程系獲得博士學(xué)位，主要研究方向為安全自主技術(shù)(如自動駕駛、航天器、無人機)、控制論、機器學(xué)習(xí)、機器人技術(shù)等。
之后前往加州理工大學(xué)攻讀博士后，2020 年成為 MIT 助理教授。
在清華求學(xué)期間，范楚楚就已經(jīng)開啟超強學(xué)霸模式，在清華拿獎拿到手軟。
她曾獲得清華大學(xué)優(yōu)秀(優(yōu)良)畢業(yè)生稱號，在校期間獲得全國電子設(shè)計競賽三等獎、清華大學(xué)電子設(shè)計競賽最佳硬件獎、三星獎學(xué)金、清華大學(xué)挑戰(zhàn)杯獎等等榮譽。
赴美留學(xué)后，范楚楚在學(xué)術(shù)上逐漸嶄露頭角。
博士期間發(fā)表了近 20 篇期刊、會議論文，曾開發(fā)出可用于汽車系統(tǒng)的框架 DryVR、可用于驗證混合自動機的工具 C2E2(Compare Execute Check Engine)、以及 RealSyn。
其發(fā)表論文從 2016 至今被引用數(shù)達 448 次。
與此同時，她還斬獲了 UIUC 授予博士生的一系列獎項：
并在 2018 年獲得中國政府頒發(fā)的優(yōu)秀自費留學(xué)生獎學(xué)金。
One More Thing
你一定想不到，這位獲得 ACM 博士論文獎的“學(xué)霸”，還是一位辣媽。
她在采訪中透露，自己曾經(jīng)帶著娃一起參與過高校的 4 次面試，過程也比較順利。
能夠同時兼顧學(xué)術(shù)和家庭，這樣的人生也是很硬核了。
營業(yè)執(zhí)照公示信息