您位于: 首页

高可信软件技术教育部重点实验室

      高可信软件研究涉及到软件理论、软件技术与原理、软件生产过程和管理、以及软件支撑平台等诸多方面。高可信软件技术的研究和发展将对未来软件产业、信息社会的发展起到决定性的作用。高可信软件技术教育部重点实验室以北京大学信息科学技术学院软件研究所为基础进行建设,以我国著名的科学家杨芙清院士作为主要学术带头人,拥有一支学风严谨、研究深入、瞄准国际前沿、以振兴我国计算机事业为己任的科学研究力量。