南京航空航天大学

高安全系统的软件开发与验证技术工信部重点实验室所依托的计算机科学与技术学科是我国最早建立的计算机学科之一，曾承担了国内第一个机载计算机（甲档）和第一个计算机控制转台的研制工作。在国防军工以及航空、航天等国家关键领域做出了重要的贡献，为国防重大型号的研制提供了技术支撑。南航先后获批全国首批计算机应用硕士点，计算机科学与技术一级学科博士点（2011年），全国首批软件工程一级学科博士点（2011年），2016年获国内首批网络空间安全一级学科博士点。“计算机科学与技术”为江苏高校优势学科，“软件工程”学科为江苏省重点学科（2012年）、工信部“两化融合”重点学科（2012年）。近年来，承担或完各类成科研项目300余项，包括国防基础科研项目、国防预研重点项目、863项目、国家自然科学基金、装备/型号研制等。获得国家、省部级科技奖项 13项，其中2013年获国家自然科学二等奖1项，2012和2014年获教育部高等学校自然科学一等和二等奖各1项，国防科技进步奖3项。发表学术论文1000余篇，其中SCI、EI收录450余篇，获得授权发明专利40余项，出版专著教材30余部。
    另外，南京航空航天大学软件工程学科具有雄厚的学科底蕴和鲜明的航空航天特色，经过多年长期建设，目前在国内外已经具有良好的声誉。软件工程学科在建设过程中得到了学校和上级主管部门的大力支持，软件工程学科先后获得了国家“211”二期和三期建设工程项目、“十一五”国防特色学科、江苏省“十二五”优势学科、江苏省重点学科、工信部“十二五”“两化融合”重点学科、江苏省软件协同创新中心、江苏省大数据协同创新中心等建设项目的支持，建设经费超过8000万元。通过建设，学科建成海量数据分析平台系统软件、综合航电系统开发环境和国防软件测试和认证等学科平台等，形成了本实验室的基础。经过近年学校的重点投入和建设，实验室已成为具有鲜明特色的高安全软件技术的研究基地。