高安全系统的软件开发与验证技术工信部重点实验室

Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology
 
 
人才队伍
 
当前位置:首页  人才队伍  研究队伍
 

各研究方向及研究队伍:

序号

研究方向

学术带头人

主要骨干

1

功能安全与信息安全基础

袁家斌

马宗民,朱朝晖

2

安全关键软件设计与智能化开发方法

岳涛

庄毅,皮德常

3

安全关键软件智能化测试与质量保障方法

黄志球

陈钢,曹子宁

4

安全关键软件应用研究

秦小麟

陈兵,燕雪峰