90后清华女校友范楚楚获ACM2020唯一博士论文奖！出任MIT助理教授后再摘桂冠近日，ACM公布了2020年博士论文奖，清华90后女学霸范楚楚凭借着题为「安全自主性的形式方法：数据驱动的验证、综合和应用」的论文荣获该奖。
论文地址：https://ideals.illinois.edu/handle/2142/106202范楚楚的论文还推动了灵敏度分析和符号可达性理论的发展；开发了一系列验证算法和软件工具（DryVR,Realsyn）；展示了验证技术在工业规模自动系统中的应用。
范楚楚荣获2020年ACM最佳博士论文奖，她的获奖论文为2019年从UIUC获得博士学位的论文，论文题目《FormalMethodsforSafeAutonomy:Data…
范楚楚说，该论文成果的应用范围非常广泛，而做算法的优势正在于它不局限于某一个具体应用。无人车系统和飞机系统的安全性非常重要。很多时候无人车等自主系统的技术已经非常发达，但由于无法证明系统的安全性，因此无人车辆或四旋翼...
今年，范楚楚不仅入围，而且最终获得了这一奖项。那么，她的这篇论文究竟研究了什么？“为自动驾驶新算法奠定基础”这篇获奖的博士论文发表于2019年，是范楚楚就读UIUC的毕业论文，与嵌入式和信息物理…
一年一度的ACM博士论文奖今日发布，来自MIT的助理教授范楚楚因对嵌入式和网络物理系统的验证及其在工业规模自动化系统中的应用的贡献而获得了ACM的2020年博士论文奖。范楚楚荣…
范楚楚的获奖工作为2019年从UIUC获得博士学位的论文，题目是“FormalMethodsforSafeAutonomy:Data-DrivenVerification,Synthesis,andApplications”，入选理由是...
今年，范楚楚不仅入围，而且最终获得了这一奖项。那么，她的这篇论文究竟研究了什么？“为自动驾驶新算法奠定基础”这篇获奖的博士论文发表于2019年，是范楚楚就读UIUC的毕业论文，与嵌入式和信息物理系统相关。ACM给出的入选理由是：
90后学霸.ACM博士论文奖得主范楚楚.本次杰出博士论文奖获得者范楚楚是一名90后学霸，清华大学自动化系本科2013届毕业生。.之后到美国伊利诺伊大学香槟分校（UIUC），成为电气与计算机工程系的六年硕博连读研究生。.2020年秋季加入麻省理工学院航天航空...
范楚楚范楚楚是清华大学2013届本科毕业生、美国伊利诺伊大学香槟分校（UIUC）在读博士。去美国顶尖学府任职的华人学生并非少数，除了范楚楚，今年，已经有多位华人学霸宣布将去美国顶尖学府任职，接下来给大家做个盘点。
论文链接：https://ideals.illinois.edu/handle/2142/106202具体地，范楚楚的论文：1）推动了灵敏度分析与符号可达性理论的进步；2）开发了一系列验证算法与软件工具（DryVR与...
据悉,清华大学90后校友、现为MIT的助理教授范楚楚,因对嵌入式和网络物理系统的验证及其在工业规模自动化系统中的应用的贡献,荣获得了ACM的2020年博士论文...
值得一提的是,该奖项每年颁发一次,旨在奖励计算机科学和工程领域最优秀的博士论文,而目前其论文相关研究成果已经获得了专利,并开始进入商业化实践。除此之外,...
「ACM博士论文奖」每年由ACM（美国计算机协会）颁发，用来表彰计算机科学和计算机工程领域最佳博士论文的作者，同时获奖者将得到2万美元的奖金。ACM表示，范楚楚的论文在嵌入式和网...
一年一度的ACM博士论文奖今日发布,来自MIT的助理教授范楚楚因对嵌入式和网络物理系统的验证及其在工业规模自动化系统中的应用的贡献而获得了ACM的2020年博士论文奖。荣誉提...
本次ACM博士论文奖最终评选名单有3人,除了范楚楚,其余两位分别是来自斯坦福大学的博士毕业生HenryCorrigan-Gibbs(现任MIT助理教授)、德国萨尔州大学的...
本次ACM博士论文奖最终评选名单有3人,除了范楚楚,其余两位分别是来自斯坦福大学的博士毕业生HenryCorrigan-Gibbs(现任MIT助理教授)、德国萨尔州大学的...
近日,ACM公布了2020年博士论文奖得主,清华90后女学霸、UIUC博士、MIT助理教授范楚楚荣获该奖。近日,ACM公布了2020年博士论文奖,清华90后女学霸范楚楚凭借着题...
图|范楚楚获奖论文（来源：受访者）获奖论文主要成果：灵敏性分析范楚楚的研究方向是形式化方法，该领域在分支上还有很多经典方法，比如模型检测和抽象解释，这都是已被验证的实...
ACM最新消息:伊利诺伊大学香槟分校(UIUC)的博士毕业生、清华校友、UIUC博士、MIT助理教授范楚楚荣获2020年ACM博士论文奖!本次ACM博士论文奖最终评选名单...