清华同学获得ACM博士论文奖！相关研究是自动驾驶新算法的基础量子比特
今天，ACM发表2020年博士论文奖！
清华校友、MIT副教授范楚楚从候选人名单中选出并获得该奖项。
另外两个候选人分别来自斯坦福大学和德国萨尔州大学。
顺便说一下，两年前华人也被评为ACM博士论文奖，但都获得了荣誉提名奖。
△左为马腾宇，右为吴佳俊
今年不仅获得了范楚楚的提名，而且最终获奖。
那么，她的这篇论文到底在研究什么呢。
“为自动驾驶奠定新算法基础”的获奖博士论文于2019年发表，是关于嵌入式和信息物理系统，范楚楚向UIUC学习的毕业论文。
根据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博士论文奖的“会学习的人”还是一位身体火辣辣的妈妈。
她在采访中表示，带着孩子参加过大学四次面试，过程也比较顺利。
能兼顾学术和家庭，这样的人生也会成为核心~
论文地址：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/