清华女学霸范楚楚获ACM博士论文奖

ACM（美国计算机协会）于纽约时间7月14日公布了2020年博士论文奖，获奖者为清华90后女学霸范楚楚。据ACM官方，除了范楚楚，本次 ACM 博士论文奖最终评选名单有3位，其余两位均是男性，分别是来自斯坦福大学的博士毕业生 Henry Corrigan-Gibbs （现任 MIT 助理教授）、德国萨尔州大学的博士毕业生 Ralf Jung。但最终，范楚楚凭借论文 《安全自主性的形式方法：数据驱动的验证、综合和应用》，获得ACM 2020年唯一博士论文奖，也成为继涂晓媛后第二位获得该奖项的华人女性。

【瞭望：太行山知道答案】吴金印、赵化录、宋云天便是其中的代表。老、中、青三代人，有着一个共同的身份——乡镇干部。吴金印在乡镇党委书记的岗位上一干就是53年；赵化录二十三年如一日，把一个传统的农业镇发展为全国最大的食用菌生产地；“90后”清华博士宋云天，放弃了城市的优渥待遇，选择到农村摸爬滚打，如今脚步越走越扎实……
　　三代党员干部的接续奋斗，皆因他们有一个共同的名字——共产党员。
　　归来、见证、坚守，人们再次发问为什么中国共产党能够带领人民披荆斩棘，从一个胜利走向另一个胜利，从一个辉煌迈向另一个辉煌？
　　太行山知道答案。https://t.cn/A6f5pXKh

【太行山知道答案】
800里巍巍太行，记载着中国共产党一路走来的光辉历程。这片山区不仅缔造了赫赫有名的“刘邓大军”，孕育了自力更生、艰苦创业、团结协作、无私奉献的“红旗渠精神”，还不断涌现出基层党员干部的优秀代表。
吴金印、赵化录、宋云天便是其中的代表。老、中、青三代人，有着一个共同的身份——乡镇干部。吴金印在乡镇党委书记的岗位上一干就是53年；赵化录二十三年如一日，把一个传统的农业镇发展为全国最大的食用菌生产地；“90后”清华博士宋云天，放弃了城市的优渥待遇，选择到农村摸爬滚打，如今脚步越走越扎实……
三代党员干部的接续奋斗，皆因他们有一个共同的名字——共产党员。
归来、见证、坚守，人们再次发问为什么中国共产党能够带领人民披荆斩棘，从一个胜利走向另一个胜利，从一个辉煌迈向另一个辉煌？https://t.cn/A6f5pXKh