关于

新闻动态更多

高可信软件技术教育部重点实验室年会线上召开

根据教育部关于重点实验室建设的有关规定和重点实验室年度工作计划，2022年重点实验室年度会议于2022年12月12日下午在线上召开。参加会议的有大学科学研究部谢冰部长、李晓强副部长、王...

重点实验室谢涛教授当选欧洲科学院外籍院士

近日，欧洲人文和自然科学院（Academia Europaea）公布了2022年新当选院士名单。重点实验室谢涛教授当选欧洲科学院外籍院士。谢涛，现任北京大学讲席教授，高可信软件技术教育部重点实验...

重点实验室金芝教授荣获2022年IEEE TCSVC卓越领导力奖

近日，IEEE服务计算专业委员会（TCSVC）发布了2022年度的各个奖项，重点实验室金芝教授荣获IEEE TCSVC颁发的卓越领导力奖（Outstanding Leadership Award），以表彰其在服务计算领域的先...