本实验室于2002年1月经教育部批准成立，依托北京大学信息科学技术学院建设，是省部级重点实验室，也是"计算机软件与理论"国家重点学科的主要支撑。实验室主任为杨芙清教授（中国科学院院士，软件工程专家）。 实验室现有工作人员57人，其中固定研究人员47人（教授17名含院士2名、副教授21名、讲师9名），博士后8名，并聘请7位国内外知名学者担任客座研究员。拥有国家杰出青年科学基金获得者3人、长江学者1人、新世纪百千万人才工程国家级人选1人、中国青年科技奖获得者2人、教育部新世纪人才4人等高层次人才。 实验室依托原计算机科学技术系软件工程研究所、信息安全研究室、网络研究室、数据库研究室和人工智能研究室等组建，形成了以杨芙清院士为主要学术带头人的高水平科研队伍。
本实验室面向国家软件产业需求，依托"计算机软件与理论"国家重点学科，提供以下技术服务：
1.高可信软件工程服务：提供软件工程化开发、软件质量保障、高可信软件设计验证、软件测试与评估等技术服务
2.信息安全与可信计算服务：依托信息安全研究室，提供信息安全技术、可信计算、密码学应用及安全系统开发服务
3.数据库与信息系统服务：提供数据库系统设计、数据管理、信息系统集成及大数据应用开发等技术支持
4.人工智能与软件理论服务：提供计算机软件与理论研究、人工智能算法开发、离散数学应用、算法设计与分析等技术咨询
5.网络与信息系统服务：提供网络技术研究、信息系统架构设计、网络应用开发及系统集成服务
6.技术咨询与人才培养服务：提供软件领域技术咨询、标准制定服务；依托院士领衔的师资队伍，培养软件工程高层次人才
1000 640GB显存/节点
500 256GB显存/节点
100 200Gbps带宽
填写使用申请
1-3个工作日
确认服务内容
获得账号权限
