课题1：安全攸关软件的建模与验证

张健

课题负责人

中国科学院软件研究所


詹乃军

研究员

中国科学院软件研究所


张文辉

研究员

中国科学院软件研究所


尤建功

教授

南京大学


杨绍发

副研究员

中国科学院软件研究所
课题2：安全攸关软件的分析与测试

徐宝文

课题负责人

南京大学


周毓明

教授

南京大学


陈振宇

副教授

南京大学


张震宇

副研究员

中国科学院软件研究所


许蕾

副教授

南京大学
课题3：安全攸关软件的运行支撑与示范应用

宁滨

课题负责人

北京交通大学


李宣东

教授

南京大学


董威

副教授

国防科学技术大学


王海峰

教授

北京交通大学


文艳军

副教授

北京交通大学