范楚楚，現為美國麻省理工學院航空航天工程系助理教授，范楚楚入選2021年度“35歲以下科技創新35人”亞太區榜單。
基本介紹
- 中文名：范楚楚
- 學位/學歷：博士學位
- 職稱：美國麻省理工學院航空航天工程系助理教授
人物經歷,研究方向,所獲榮譽,
人物經歷
2013年畢業於清華大學自動化系，獲學士學位，並獲得清華大學優良畢業生榮譽稱號；2019年畢業於美國伊利諾伊大學香檳分校計算機工程系，獲博士學位。現為美國麻省理工學院航空航天工程系助理教授。
研究方向
她的研究為嵌入式與信息物理系統的驗證作出了奠基性貢獻，展示了該技術套用於工業系統的可能性。
范楚楚的主要研究內容是用形式化方法、機器學習與控制論等嚴謹的數學理論來設計、分析與驗證安全自動控制系統。她聚焦於非線性系統的靈敏度分析以及如何結合程式和動態的物理實體。
范楚楚使用機器學習算法學習靈敏度分析，然後用靈敏度分析檢查系統安全性問題。她的解決方案將數值模擬數據、基於物理實體的符號靈敏度分析以及軟體驗證的核心方法（如等效性檢查和定點分析）結合在一起。
范楚楚提出一個基於靈敏度分析、用於非線性混合系統有界驗證的數據驅動算法，並成立初創公司將該方法商業化。在此基礎上，她開發出DryVR驗證工具，目前已套用在智慧型輔助駕駛系統、基於神經網路的控制器、分散式機器人以及醫療設備中，並首次對豐田的系統進行了驗證，近期又套用在城市空中交通管理場景的模擬驗證中。她還提出了一種RealSyn方法，為自動駕駛汽車的實時運動規划算法奠定了基礎。
所獲榮譽
2021年10月28日，范楚楚入選2021年度“35歲以下科技創新35人”亞太區榜單。
