高可信软件技术教育部重点实验室
高可信软件研究涉及到软件理论、软件技术与原理、软件生产过程和管理、以及软件支撑平台等诸多方面。高可信软件技术的研究和发展将对未来软件产业、信息社会的发展起到决定性的作用。高可信软件技术教育部重点实验室以北京大学信息科学技术学院软件研究所为基础进行建设,以我国著名的科学家杨芙清院士作为主要学术带头人，拥有一支学风严谨、研究深入、瞄准国际前沿、以振兴我国计算机事业为己任的科学研究力量。
- 新闻
- 张大庆教授团队成果亮相第二届世界智能大会并引发关注 2018-07-06
- 刘譞哲副教授入选教育部“长江学者奖励计划”的青年长江项目 2018-07-06
- 金芝、郭耀、周明辉、郝丹、熊英飞等老师和学生参加了国际软件工程会议 2018-06-10
- 云-端融合系统的资源反射机制及高效互操作技术”获中国电子学会技术发明特等奖 2018-05-17
- 论文《Multi-Task Allocation in Mobile Crowd Sensing with Individual Task Quality Assurance》被美国电气和电子工程师协会移动计算汇刊录用 2018-05-17
