程胜

博士，研究员

—

博士，研究员，国务院特贴专家，中国载人航天工程软件工程和数字化技术发展与管理中心主任，中国载人航天工程软件专家组副组长、数字化专家组副组长，中国航天科技集团信息化与软件技术专业组副组长。中国航天科技集团学术带头人。曾获国防科技进步二等奖、航天科技集团科技进步一等奖、技术发明二等奖等奖项，以及“航天十大杰出青年”、航天创新奖、中国载人航天工程突出贡献集体、航天科技创新团队等荣誉称号。

张卫民

研究员，工程软件专家组副组长

—

研究员，工程软件专家组副组长，参与制定工程软件研制工作标准规范，带领专家组全程参与空间站软件检查工作，熟悉工程软件安全性工作要求及工程各单位软件研制情况。

范松涛

研究员，型号副总师

—

中国航天科技集团有限公司五院总体设计部研究员，型号副总师，主要负责载人航天器系统设计。研究领域为基于模型的系统工程、信息系统工程、软件工程等。

张驰

预研总师

—

中国商飞北京民用飞机技术研究中心项目预研总师，北京市青联委员、昌平区青联副主席，毕业于英国克莱菲尔德大学飞行器设计专业。曾参与了下一代支线客机论证，中俄远程宽体客机论证，国产大型客机架机管理工作。“灵雀B”新构型技术验证机研发项目负责人，长期从事飞行器总体设计、基于模型的系统工程（MBSE）的应用研究。主要社会兼职清华大学创新领军工程博士研究生、中国青年科技工作者协会会员、山西太原理工大学客座教授、飞行员（PPL）。主要荣誉有2022北京冬奥火炬手，全国青年文明号号长，北京市科技盛典人物，中国商飞十大青年英才，上海市五四奖章集体带头人，2050青年奖，大飞机科技创新奖获得者。

张文丰

国家重点研发计划首席科学家

—

2020年国家重点研发计划首席科学家，2019年入选国家海外高层次人才计划和上海海外高层次人才计划。现为上海宇航系统工程研究所科技委常委，信息化副总师。主持与参与国家重点研发计划、民用航天重大项目、装发等多个课题。长期从事基于模型的系统工程，数字孪生等数字工程研究，取得数字化功能样机建模方法、复杂系统的集成测试虚拟试验技术和虚实融合技术、并发展了三维虚拟试验平台到一维快速虚拟试验系统的降维方法等多项成果。

刘畅

副教授

—

北京航空航天大学软件可信性研究中心副教授，型号软件安全性与适航性专业组成员，组织多项软件安全性、可靠性工程技术研究及应用，参与编写多项软件安全性可靠性标准和规范。

王楠

高级工程师

—

中国载人航天工程软件和数字化中心高级工程师，软件工程技术专家，熟悉软件安全性技术及相关工具软件。负责研发的国产宇航处理器配套自主软件编译开发环境（神舟IDE）已在航天重大型号中得到全面应用，获航天科技集团科技进步一等奖。

万金晶

工程师

—

中国载人航天工程软件和数字化中心开发工程师，负责研究与应用软件安全性分析相关流程、方法及工具，对FTA、FMEA、STPA等安全性分析方法具有深刻理解，在软件安全性分析应用方面，具有丰富和扎实的实践经验，熟练掌握传统安全性分析方法的应用。