年7月17日，教育部科技司组织专家对“高可信软件技术教育部重点实验室”（北京大学）的建设计划进行了可行性论证。论证会由教育部科技司基础处李渝红处长主持，北京大学校长助理、科研部部长李晓明教授代表学校致辞。科研部副部长吴朝东、基地办主任蔡晖、重大项目办主任韦宇及实验室主要成员参加了论证会。

专家组由7位专家组成，由中科院软件研究所林惠民院士任专家组长。专家组听取了梅宏教授代表实验室所做的建设计划报告，现场考察了实验室，并针对实验室的研究方向、队伍建设、条件建设、运行管理机制等方面进行论证。最后，专家组经过认真讨论，一致通过了实验室的建设计划。专家组希望实验室进一步凝炼研究方向、突出研究特色、加大人才培养力度，为实验室发展提出了一些建设性意见。

高可信软件技术教育部重点实验室是教育部年2月批准立项的实验室，以信息科学技术学院软件研究所为基础进行建设。目前有固定研究人员40人，包括中科院院士、国家杰出青年科学基金获得者、教育部长江特聘教授等，是一支实力雄厚的研究团队。

科研部基地办

2007年7月18日