北京大学信科学院高可信软件技术教育部重点实验室

400-6699-117转1000

本实验室依托北京大学，由信息科学技术学院具体承建，是“计算机软件与理论”全国重点学科的主要支撑。本实验室于2005年初以软件所为主体开始申报筹备工作，2006年8月形成申请书初稿，2007年1月正式向教育部递交实验室申请书，2007年2月，教育部下文正式批复开始建设，2007年3月，正式上报建设项目计划任务书，2007年7月，通过建设计划可行性论证，实验室进入建设阶段。本实验室以我国著名科学家杨芙清院士作为主要学术带头人，有一支学风严谨、研究深入、瞄准国际前沿、以发展我国计算机事业为己任的科学研究队伍。