范楚楚的获奖工作为2019年从UIUC获得博士学位的论文,题目是“Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications”,入选理由是:这篇工作为嵌入式与信息物理系统的验证做出了奠基性贡献,且展示了该技术应用于工业系统的可能性。论文链接://www.ideals.illinois.edu/handle/2142/106202具体地,范楚楚的论文:1)推动了灵敏度分析与符号可达性理论的进步;2)开发了一系列验证算法与软件工具(DryVR 与 Realsyn);3)清晰地展示了验证技术在工业规模的自动系统中的应用。在论文中,范楚楚所提出的算法是第一个基于灵敏度分析的、用于非线性混合系统有界验证的数据驱动算法,已获得专利,并进入了初步的商业化实践。范楚楚还开发了第一个用不完整模型来验证“黑盒子”系统的算法,这个不完整模型结合了概率近似正确(PAC)学习、模拟关系与定点分析。这篇工作产生了一个工具,叫 DryVR,已经在几十个系统上得到应用,包括高级驾驶辅助系统、基于神经网络的控制器、分布式机器人与医疗设备等等。此外,范楚楚的算法在非线性车辆模型系统的合成控制器中具有广泛的应用前景。这篇工作中提出的 RealSyn 方法具有优于现有其他算法的性能,为自动车辆的实时运动规划算法研究打下了基础。
2
范楚楚是谁?
目前,范楚楚在麻省理工学院航空航天工程系担任威尔森助理教授(Wilson Assistant Professor),领导 REALM (Reliable Autonomous Systems Lab at MIT)团队,主要研究内容是用严谨的数学理论(包括形式化方法、机器学习与控制论)来设计、分析与验证安全的自动化系统。范楚楚在学生时代就获奖无数。出生于陕西的她,高中便就读于闻名全国的西北工业大学附属中学,期间曾多次参加全国数学竞赛和物理竞赛并获奖。她在2009年考入清华大学自动化系,2013年获得学士学位。清华就读期间,她是名副其实的学霸,获得过清华大学挑战杯奖、清华大学电子设计竞赛最佳硬件奖、全国电子设计竞赛三等奖,以及清华大学优良毕业生荣誉称号。从清华毕业后,范楚楚前往美国伊利诺伊大学香槟分校(UIUC),攻读计算机工程系博士学位。在美读书期间,她不仅发表了期刊论文和会议论文将近20篇,优秀的她还自主开发了三个工具——DryVR、C2E2、RealSyn,获得的奖项数不胜数: