新闻动态

首页 >> 新闻动态
邵维忠教授等到西昌卫星发射中心进行“可信软件资源管理系统”的安装以及“面向对...
        2012年11月24日至27日，邵维忠、邹艳珍、李萌和朱子骁一行四人到西昌卫星发射中心进行了“可信软件资源管理系统”的安装以及“面向对象建模和UML”的技术培训。针对实际开发应用中遇到的问题，西昌卫星发射中...
2012-12-20
周明辉副教授入选教育部“新世纪优秀人才支持计划”。
2012年12月4日教育部发布公示：2012年度教育部“新世纪优秀人才支持计划”入选名单。北京大学共有22名老师入选，其中实验室周明辉副教授入选中。
2012-12-17
高可信软件技术教育部重点实验室学术委员会会议在北京大学召开。
        2012年11月20日上午，高可信软件技术教育部重点实验室召开了第五次学术委员会会议，这也是高可信软件技术教育部重点实验室第二届学术委员会第一次举行会议。参加会议的有：学术委员会委员和大学科研部郑英姿...
2012-12-17
梅宏院士获2012年度“何梁何利基金科学与技术进步奖”。
        2012年10月29日香港何梁何利基金2012年度颁奖大会在北京钓鱼台国宾馆隆重举行。中共中央政治局委员、国务委员刘延东出席并作重要讲话。，全国人大常委会副委员长路甬祥，全国政协副主席、科技部部长万钢等领...
2012-12-17
首页上页1...6970717273下页尾页

高可信软件技术教育部重点实验室(北京大学) , Key Lab of High Confidence Software Technologies(PKU), Ministry of Education