清華校友斬獲ACM博士論文獎！相關研究為自動駕駛新算法奠定基礎_風聞

　　明敏 蕭簫 發自 凹非寺

　　量子位 報道 | 公眾號 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/