高可信软件技术教育部重点实验室
高可信软件研究涉及到软件理论、软件技术与原理、软件生产过程和管理、以及软件支撑平台等诸多方面。高可信软件技术的研究和发展将对未来软件产业、信息社会的发展起到决定性的作用。高可信软件技术教育部重点实验室以北京大学信息科学技术学院软件研究所为基础进行建设,以我国著名的科学家杨芙清院士作为主要学术带头人，拥有一支学风严谨、研究深入、瞄准国际前沿、以振兴我国计算机事业为己任的科学研究力量。
- 新闻
- 云-端融合系统的资源反射机制及高效互操作技术”获中国电子学会技术发明特等奖 2018-05-17
- 论文《Multi-Task Allocation in Mobile Crowd Sensing with Individual Task Quality Assurance》被美国电气和电子工程师协会移动计算汇刊录用 2018-05-17
- 刘譞哲副教授课题组论文入选《电气电子工程师学会软件工程汇刊》亮点文章 2018-05-17
- 意大利米兰理工大学Carlo Ghezzi教授来访重点实验室 2018-05-04
- 陈钟教授团队获全球区块链黑客马拉松东京站一等奖 2018-04-28
