关于

新闻动态更多

重点实验室学术委2019年会议在北大召开

高可信软件技术教育部重点实验室学术委2019年会议于2020年1月11日在北大召开。参加会议的有学术委委员，大学科研部基地办主任、信科领导和计算机系主任、副主任等，并分别作了重要讲话。会上，由...

谢涛教授获得2018年TSE年度最佳论文奖

由复旦大学彭鑫教授领导的CodeWisdom团队与北京大学谢涛教授、新加坡管理大学孙军副教授合作完成的关于微服务故障分析和调试的研究论文《Fault Analysis and Debugging of Microservice Systems:...

谢涛教授当选美国科学促进会会士

2019年11月26日，美国科学促进会（AAAS）发布了2019年度会士增选结果，重点实验室谢涛教授为该年当选的443名会士之一，为其“信息、计算与通讯”学部该年当选的24名会士之一。美国科学促进会成...