关于

新闻动态更多

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

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

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

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

胡振江教授、张大庆教授当选欧洲科学院外籍院士

2019年6月27日，欧洲科学院（Academia Europaea）发布了2019年度院士增选结果，重点实验室胡振江教授、张大庆教授当选为外籍院士。欧洲科学院（Academia Europaea）成立于1988年，总部...