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

基本信息 开放实验室名称北京大学高可信软件技术教育部重点实验室
类型教育部重点实验室
认定部门教育部认定时间2002年
依托单位北京大学信息科学技术学院
所属功能平台教育技术平台
所属领域电子信息
负责人杨芙清
服务特色高可信软件技术教育部重点实验室依托北京大学,由北京大学信息科学技术学院具体承建,是“计算机软件与理论”国家重点学科的主要支撑。2002年9月,北京大学组建信息科学技术学院,其中,由原计算机科学技术系软件工程研究所、信息安全研究室、人机交互与多媒体研究室和计算机科学理论研究室组建形成软件研究所,由原计算机科学技术系网络研究室、数据库研究室和人工智能研究室组建形成了网络与信息系统研究所。本实验室覆盖了北京大学软件研究所的绝大部分(除人机交互与多媒体研究室)和网络与信息系统研究所的一部分(数据库研究室)。
本实验室以我国著名科学家杨芙清院士作为主要学术带头人,有一支学风严谨、研究深入、瞄准国际前沿、以发展我国计算机事业为己任的科学研究队伍。
科研队伍和骨干专家科研队伍:
目前,实验室的工作人员共57人,其中固定研究人员47人,包括教授17名(含中国科学院院士2名,博士生导师14名),副教授(副研究员)21人,讲师等中级职称9名,2名专职教辅人员和8名博士后研究人员。此外,还有7位国内外知名的学者在本实验室任客座研究员和博士生、硕士生指导教师。实验室有多人入选各类人才支持计划或奖励,包括:国家杰出青年科学基金获得者3人、教育部长江学者奖励计划特聘教授1人、新世纪百千万人才工程国家级人选1人、中国青年科技奖获得者2人、中国优秀博士后奖获得者1人、教育部新世纪人才计划入选者4人、全国百篇优秀博士学位论文获得者1人、北京市科技新星2人、中创软件人才奖获得者4人。
骨干专家:
屈婉玲,女,1969年毕业于北京大学物理系物理专业,现任北京大学信息科学技术学院和高可信软件技术教育部重点实验室教授,博士生导师,中国人工智能学会离散数学专委会副主任,主要研究领域是离散数学、算法设计与分析。
王千祥,男,博士,北大信息科学技术学院教授。计算机学会软件工程专业委员会委员兼秘书长。主要研究方向是计算机软件与理论。
科研成果多年来,实验室所包含的科研团队一直得到北京大学211和985的重点支持,也先后承担了国家计委科技攻关计划、国家科技部863、973等科技计划、国家自然科学基金等很多科研项目的研究工作,形成了良好的科研条件。
国家科技攻关项目:“六五”、“七五”、“八五”、“九五一期”、 “九五二期”共五项重大项目和一项“十五”重点项目(共8000多万元)
1.软件工程核心支撑环境BETA-85(国家“六五”科技攻关项目);
2.软件工程技术、工具和环境的研究与开发(SEP)(国家“七五”科技攻关项目);
3.软件工程开发环境(CASE)的标准化与实用化(国家“八五”科技攻关项目);
4.软件工程环境(青鸟CASE)工业化生产技术及系统(JB/SEIMS)的研究开发(国家“九五”科技攻关项目一期工程);
5.软件工程环境(青鸟CASE)工业化生产技术及系统(JB/SEIMS)的研究开发(国家“九五”科技攻关项目二期工程);
6.奥运信息系统模型的研究与建立(国家“十五”科技攻关项目)。
代表仪器设备
专业服务机构名称北京北达燕园微构分析测试中心有限公司
负责人江向峰联系人北大基地电话010-62565921
邮箱lc@labpku.com邮编100871
地址北京市海淀区中关村北大街123号科方孵化器2306室