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

明肖来自寺
量子报道| QbitAI，微信官方账号
今天，ACM公布了2020年度博士论文奖！
清华校友、麻省理工学院助理教授范楚楚从候选人名单中脱颖而出，获得了这个奖项。
另外两位候选人分别来自斯坦福大学和德国萨尔州大学。
值得一提的是，虽然前两年有部分华人入选ACM博士论文奖，但都获得了荣誉提名奖。

文章图片

其中，清华姚班校友马腾宇获2018年ACM博士论文奖提名，清华姚班校友吴佳俊获2019年提名。他们的研究兴趣与AI和机器学习有关。

文章图片

△左边马腾宇，右边吴佳俊
今年，范楚楚不仅入围，还获得了这个奖项。
那么，她在这篇论文中研究了什么？
“为自动驾驶新算法奠定基础”
这篇获奖的博士论文发表于2019年，是范楚楚在UIUC的毕业论文，涉及嵌入式系统和网络物理系统。

文章图片

ACM给出的理由是:
它为嵌入式系统和网络物理系统的验证做出了根本性的贡献，也展示了该技术在工业系统中应用的可能性。
根据ACM的说法，范楚楚的博士论文有几个主要贡献:
提出了一种基于灵敏度分析的非线性混合系统有界验证的数据驱动算法。目前，一家位于UIUC的创业公司已经成立，并计划将这种方法商业化；
开发了不完全条件下的“黑盒”验证算法，相关成果DryVR已应用于分布式机器人、医疗设备和智能驾驶辅助系统；
提出了一种RealSyn方法，为自主车辆实时运动规划算法的研究奠定了基础，有助于提出新的相关算法
不仅有算法，还有工具，比如说DryVR和RealSyn，都是范楚楚开发的。
从要点可以看出，本文涉及的领域很广。除了自动驾驶，它在机器人和医疗设备等行业也有产业化潜力。
他在博士期间发表了20多篇论文

文章图片

范楚楚，现任麻省理工学院航空航天工程空系威尔逊助理教授，领导可靠自主系统实验室。
他的团队致力于利用形式化方法、机器学习和控制论解决安全控制系统从设计到验证的一系列问题。
从范楚楚的个人主页可以知道，她于2013年毕业于清华大学自动化系，2019年获得美国伊利诺伊大学厄巴纳-香槟分校电气与计算机工程系博士学位。她的主要研究兴趣是安全自主技术、控制论、机器学习、机器人学等。
之后去加州理工学院读博士后，2020年成为麻省理工学院助理教授。

文章图片

在清华读书时，范楚楚就已经开启了超级霸权模式，并在清华获得了软奖。
她被授予清华大学优秀毕业生称号，并获得全国电子设计大赛三等奖、清华大学电子设计大赛最佳硬件奖、三星奖学金、清华大学挑战杯奖等。
在美国留学后，范楚楚逐渐在学术上崭露头角。
他在博士期间发表了近20篇期刊和会议论文，开发了DryVR这一工具C2E2和RealSyn，可用于验证混合自动机。
自2016年以来，他发表的论文被引用了448次。