清华女学霸范楚楚获ACM博士论文奖
ACM(美国计算机协会)于纽约时间7月14日公布了2020年博士论文奖,获奖者为清华90后女学霸范楚楚。据ACM官方,除了范楚楚,本次 ACM 博士论文奖最终评选名单有3位,其余两位均是男性,分别是来自斯坦福大学的博士毕业生 Henry Corrigan-Gibbs (现任 MIT 助理教授)、德国萨尔州大学的博士毕业生 Ralf Jung。但最终,范楚楚凭借论文 《安全自主性的形式方法:数据驱动的验证、综合和应用》,获得ACM 2020年唯一博士论文奖,也成为继涂晓媛后第二位获得该奖项的华人女性。
ACM(美国计算机协会)于纽约时间7月14日公布了2020年博士论文奖,获奖者为清华90后女学霸范楚楚。据ACM官方,除了范楚楚,本次 ACM 博士论文奖最终评选名单有3位,其余两位均是男性,分别是来自斯坦福大学的博士毕业生 Henry Corrigan-Gibbs (现任 MIT 助理教授)、德国萨尔州大学的博士毕业生 Ralf Jung。但最终,范楚楚凭借论文 《安全自主性的形式方法:数据驱动的验证、综合和应用》,获得ACM 2020年唯一博士论文奖,也成为继涂晓媛后第二位获得该奖项的华人女性。
【又一位华人女性,清华女学霸范楚楚获ACM博士论文奖】ACM(美国计算机协会)于纽约时间7月14日公布了2020年博士论文奖,获奖者为清华90后女学霸范楚楚。
据ACM官方,除了范楚楚,本次 ACM 博士论文奖最终评选名单有3位,其余两位均是男性,分别是来自斯坦福大学的博士毕业生 Henry Corrigan-Gibbs (现任 MIT 助理教授)、德国萨尔州大学的博士毕业生 Ralf Jung。但最终,范楚楚凭借论文 《安全自主性的形式方法:数据驱动的验证、综合和应用》,获得ACM 2020年唯一博士论文奖,也成为继涂晓媛后第二位获得该奖项的华人女性。https://t.cn/A6flp4P1
据ACM官方,除了范楚楚,本次 ACM 博士论文奖最终评选名单有3位,其余两位均是男性,分别是来自斯坦福大学的博士毕业生 Henry Corrigan-Gibbs (现任 MIT 助理教授)、德国萨尔州大学的博士毕业生 Ralf Jung。但最终,范楚楚凭借论文 《安全自主性的形式方法:数据驱动的验证、综合和应用》,获得ACM 2020年唯一博士论文奖,也成为继涂晓媛后第二位获得该奖项的华人女性。https://t.cn/A6flp4P1
【瞭望:太行山知道答案】吴金印、赵化录、宋云天便是其中的代表。老、中、青三代人,有着一个共同的身份——乡镇干部。吴金印在乡镇党委书记的岗位上一干就是53年;赵化录二十三年如一日,把一个传统的农业镇发展为全国最大的食用菌生产地;“90后”清华博士宋云天,放弃了城市的优渥待遇,选择到农村摸爬滚打,如今脚步越走越扎实……
三代党员干部的接续奋斗,皆因他们有一个共同的名字——共产党员。
归来、见证、坚守,人们再次发问为什么中国共产党能够带领人民披荆斩棘,从一个胜利走向另一个胜利,从一个辉煌迈向另一个辉煌?
太行山知道答案。https://t.cn/A6f5pXKh
三代党员干部的接续奋斗,皆因他们有一个共同的名字——共产党员。
归来、见证、坚守,人们再次发问为什么中国共产党能够带领人民披荆斩棘,从一个胜利走向另一个胜利,从一个辉煌迈向另一个辉煌?
太行山知道答案。https://t.cn/A6f5pXKh
✋热门推荐