2023年度国家科学技术奖近日，2023年度国家科学技术奖揭晓。此次评选出的262个国家科学技术奖项目（人选）中，上海共有49项牵头或合作完成的重大科技成果获奖（点击即可查看获奖项目清单），占全国获奖总数的18.7%，连续第20年获奖比例超过10%。
据美国媒体近日报道，2020年美国的新冠疫情让约翰·霍普金斯大学的名声响遍全球，因为特朗普在领导抗击疫情方面极为"懒惰"，美国每天的24小时感染数和病亡数都是由约翰·霍普金斯大学统计并对外发布的，而且该大学还在研究新冠疫苗方面发挥了领导作用。
“在上海交通大学计算系工作的时候，我每年都会招一些优秀的教师进来，但两年之后他们就离开了。1986年，约翰因在“算法及数据结构设计和分析方面的奠基性成就”获得计算机界有诺贝尔奖之称的 “图灵奖”， 他的著作《The Design and Analysis of Computer Algorithms》和《Formal Languages and Their Relation to Automata》成为计算机科学的经典教材，影响了几代计算机科技工作者对算法的理解和应用。
PDF.js viewer。NOI 2000金牌，清华大学本科和硕士毕业。曹钦翔长期从事基于交互式定理证明的程序验证研究，著有Software Foundations系列教材第五卷Verifiable C。
现代快报讯（通讯员 祁苗苗 记者 黄艳）5月18日-21日，2023亚洲和太平洋地区信息学奥林匹克中国区活动圆满落幕。本次活动由中国计算机学会主办，南京外国语学校承办。现场，来自北京、福建、广东、黑龙江等全国各地385名师生齐聚南京。
