清华校友斩获 ACM 博士论文奖:相关研究为自动驾驶新算法奠定基础

7 月 17 日消息,ACM(Association for Computing Machinery,国际计算机学会)在前天公布 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 次面试,过程也比较顺利。

能够同时兼顾学术和家庭,这样的人生也是很硬核了。