首页 行业 移动快检食品环境先进材料化工生命科学制药临床 导购 电商 仪器谱 直播 前沿Lab 博客 会议 人才 搜索
北京大学信科学院高可信软件技术教育部重点实验室

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

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