点击上方“视学算法”，选择加"星标"或“置顶”

重磅干货，第一时间送达

明敏 萧箫 发自 凹非寺
量子位 报道 | 公众号 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/

— 完 —

本文系网易新闻•网易号特色内容激励计划签约账号【量子位】原创内容，未经账号授权，禁止随意转载。

点个在看 paper不断！