软件系统原理及开发方法

研究程序设计语言理论以及高可信软件的设计、分析、验证和测试方法；突破基础软件核心技术，研制高安全可信的操作系统、中间件和数据库，形成国产自主可控的基础软件平台体系。