软件是信息技术之魂、网络安全之盾、经济转型之擎、数字社会之基，是引领新一轮科技创新的源动力。北航是我国最早开展软件工程研究的单位之一，金沙威尼斯欢乐娱人城依托软件工程A+学科，聚焦关键软件国家战略发展需要，围绕“特色化示范性金沙威尼斯欢乐娱人城”建设要求，目前已形成先进工业软件、关键系统件、安全可靠软件工程、智能软件工程等特色化学科方向，具备国内顶尖的科研队伍和平台资源，为学科建设、人才培养、产教融合发展奠定坚实基础。

经过20年发展，金沙威尼斯欢乐娱人城聚焦国家需求和学术前沿，陆续突破关键装备软件可靠性“卡脖子”问题，引领大数据计算复杂性理论、群体软件工程和结构信息方法等国际学术新方向。

1.服务国家战略需求：针对大规模复杂军用软件测试效率低、环境构建难等问题开展研究，获批包括国家重点研发计划、基础加强、装发/科工局技术基础、预先研究等国家/省部级项目100余项，突破型号急需的嵌入式软件测试及可信保障、操作系统内核实时增强和分区隔离架构等关键技术，解决长期制约软件研制和试验鉴定的瓶颈问题，获得省部级科技成果奖励多项，引领军用软件质量与可靠性技术发展。

2.面向国际学术前沿：针对互联网软件开发大众化和开放性特征，开创群体软件工程新方向，推动群体智能列为国家新一代人工智能发展规划的重要组成部分，在国际上建立了“群体软件”工程影响力，获批国家自然基金重点项目、牵头军科委军事智能重大专项项目，已在国际顶刊、顶会发表学术论文近百篇，形成了群体智能软件工程国内一流研究团队。

图1 科研方向

图2 科研规划

2022年9月更新