清华90后校友范楚楚获ACM博士论文奖，Rust社区Ralf Jung荣誉提名

机器之心报道
机器之心编辑部
又一位清华校友获得ACM博士论文奖

文章图片
一年一度的ACM博士论文奖今日发布，来自MIT的助理教授范楚楚因对嵌入式和网络物理系统的验证及其在工业规模自动化系统中的应用的贡献而获得了ACM的2020年博士论文奖。荣誉提名奖授予麻省理工学院的HenryCorrigan-Gibbs和马克斯普朗克软件系统研究所、麻省理工学院的RalfJung 。
该奖项每年颁发一次，旨在奖励计算机科学和工程领域最优秀的博士论文。今年的获奖者将在10月23日于旧金山举行的典礼上获颁奖项。
2020年ACM最佳博士论文奖
范楚楚荣获2020年ACM最佳博士论文奖，她的获奖论文为2019年从UIUC获得博士学位的论文，论文题目《FormalMethodsforSafeAutonomy:Data-DrivenVerification,Synthesis,andApplications》。获奖理由：为嵌入式与信息物理系统的验证做出了奠基性贡献，且展示了该技术应用于工业系统的可能性。

文章图片
论文地址：https://www.ideals.illinois.edu/handle/2142/106202
范楚楚的论文还推动了灵敏度分析和符号可达性理论的发展；开发了一系列验证算法和软件工具（DryVR,Realsyn）；展示了验证技术在工业规模自动系统中的应用。
本文提出的算法是第一个基于灵敏度分析的、可应用于非线性混合系统有界验证的数据驱动算法。这一工作在工业规模问题上的开创性示范表明，验证技术是可以规模化的。目前这项灵敏度分析已经获得了专利，并开始进入商业化实践。
范楚楚还开发了第一个用不完整模型来验证「黑盒子」系统的算法，该系统结合了概率近似正确（PAC）学习、模拟关系与定点分析。这项工作产生了一个工具DryVR ，已经应用于几十种系统，包括先进的驾驶辅助系统、基于神经网络的控制器、分布式机器人与医疗设备等。
另外，范楚楚提出的算法在非线性车辆模型系统的合成控制器中具有广泛的应用前景。本文提出的RealSyn方法优于其他算法，为自动驾驶汽车实时运动规划算法铺平了道路。

文章图片
个人主页：http://chuchu.mit.edu/
范楚楚现为MIT航空航天工程系的Wilson助理教授，也是可信赖自动化系统实验室（ReliableAutonomousSystemsLab,REASL）的负责人。她的团队致力于使用形式化方法、机器学习和控制理论等来设计、分析和验证安全的自动化系统。
2009至2013年，她本科就读于清华大学自动化系，并被选为优秀毕业生。本科毕业后前往伊利诺伊大学香槟分校（UIUC）攻读博士学位，并于2019年顺利拿到计算机工程博士学位。她的主要研究兴趣在于安全自动化系统、信息物理系统、形式化方法、控制理论、机器学习、强化学习和机器人技术等。

文章图片
博士期间，她不仅发表了多篇期刊和会议论文，还荣获了UIUCCSL学生论文奖、UIUCRobertT.Chien纪念奖等多个奖项。

文章图片
博士毕业后，她又考取了加州理工学院的博士后研究员，并于2020年8月正式入职MIT ，担任航空航天工程系的助理教授。

文章图片
2020ACM博士论文荣誉提名奖
2020年ACM博士论文奖的荣誉提名授予了HenryCorrigan-Gibbs和RalfJung 。