发表服务
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）在读博士。去美国顶尖学府任职的华人学生并非少数，除了范楚楚，今年，已经有多位华人学霸宣布将去美国顶尖学府任职，接下来给大家做个盘点。
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）在读博士。去美国顶尖学府任职的华人学生并非少数，除了范楚楚，今年，已经有多位华人学霸宣布将去美国顶尖学府任职，接下来给大家做个盘点。
发表服务