高可信软件技术教育部重点实验室
高可信软件研究涉及到软件理论、软件技术与原理、软件生产过程和管理、以及软件支撑平台等诸多方面。高可信软件技术的研究和发展将对未来软件产业、信息社会的发展起到决定性的作用。高可信软件技术教育部重点实验室以北京大学信息科学技术学院软件研究所为基础进行建设,以我国著名的科学家杨芙清院士作为主要学术带头人，拥有一支学风严谨、研究深入、瞄准国际前沿、以振兴我国计算机事业为己任的科学研究力量。
- 新闻
- 高可信软件技术引智基地启动 2017-06-09
- 郭耀、郝丹副教授，熊英飞研究员携研究生参加了国际软件工程大会ICSE 2017 2017-06-03
- 第6届亚洲高级软件工程研讨会在重庆成功召开 2017-05-19
- 重点实验室程序生成论文被机器学习顶级会议 ICML-17 接受 2017-05-16
- 意大利米兰理工学院Carlo Ghezzi教授作客“信息技术与信息化”名家讲坛 2017-05-03
