清华校友，楚楚师妹，美华女新四大牛人 - 未名空间(mitbbs.com)

board=Military&u=plff [ 1 ] 标  题: 清华校友，楚楚师妹，美华女新四大牛人 发信站: BBS 未名空间站 (Thu Jul 15 11:35:01 2021, 美东) 清华校友 、MIT 助理教授范楚楚荣获 2020 年 ACM 博士论文奖 ACM 最新消息：伊利诺伊大学香槟分校 （UIUC） 的博士毕业生、清华校友范楚楚荣获 2020 年 ACM 博士论文奖！本次 ACM 博士论文奖最终评选名单有 3 人，除了范楚楚 ，其余两位分别是来自斯坦福大学的 博士毕业生 Henry Corrigan-Gibbs （现任 MIT 助理教授）、德国萨尔州大学的博士毕业生 Ralf Jung。 但最终，范楚楚脱颖而出， 成为继涂晓媛后第二位获得该奖项的华人女性！ 论文将发表在 ACM 数字图书馆上，收录于 ACM 丛书系列。 获奖工作介绍 for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications” ，入选理由是：这篇工作为嵌入式与信息物理系统的验证做出了奠基性贡献，且展示了