高可信软件技术教育部重点实验室
高可信软件研究涉及到软件理论、软件技术与原理、软件生产过程和管理、以及软件支撑平台等诸多方面。高可信软件技术的研究和发展将对未来软件产业、信息社会的发展起到决定性的作用。高可信软件技术教育部重点实验室以北京大学信息科学技术学院软件研究所为基础进行建设,以我国著名的科学家杨芙清院士作为主要学术带头人，拥有一支学风严谨、研究深入、瞄准国际前沿、以振兴我国计算机事业为己任的科学研究力量。
- 新闻
- 重点实验室6篇论文被ACL、EMNLP、CIKM、COLING等自然语言处理顶级会议和数据挖掘领域旗舰会议接收 2016-09-26
- 梅宏院士在2016CCF大数据与计算智能大赛上作报告 2016-09-26
- 国家重点研发计划“云计算和大数据”专项“软件定义的云际计算基础理论和方法”项目启动会在北京召开 2016-09-20
- 张大庆、王亚沙教授课题组的论文被国际人机交互与普适计算领域顶级会议接收 2016-09-20
- 博士研究生李元春获UbiComp2016最佳论文提名奖 2016-09-20
