上海控安可信软件创新研究院院长、华东师范大学软件工程学院教授
华东师范大学软件工程学院副教授、院长助理、嵌入式软件与智能系统系主任,主要研究领域为软件需求、软件形式化方法和软件测试等。主持多项国家自然科学基金青年基金、面上基金及重点企业合作项目,在国内外高水平期刊与会议发表学术论文20余篇。曾获得上海市科技进步特等奖、上海市高校青年教师教学竞赛一等奖。多年来聚焦嵌入式控制软件的形式化需求建模与分析验证,所研制的工具在航空航天和轨道交通领域多家重点企业应用。
上海控安 可信软件创新研究院副院长、教授级高级工程师
蔡喁,教授级高级工程师。曾任霍尼韦尔研发中心高级软件工程师,过程主管;以及民航上海航空器适航审定中心电子电气室副主任,C919大型飞机软硬件适航审查专题组长等职务。主持构建了民航审定中心机载软硬件审查工作体系,培养了20余名软硬件审查代表和委任工程代表。具有十余年高安全性软件开发、验证和审定经验。主持过中国民航对波音、空客等多型民用飞机机载软件以及SCADE KCG、TestBed等多款关键软件工具的适航审定。承担过多个国家级以及工信部和民航局研究专项,并作为编委参加过国际适航软件标准DO-178C的制定。并曾担任国际民航组织网络安保专家组成员等。
上海控安 可信软件创新研究院副院长兼工控网络安全组总监
上海控安 可信软件创新研究院副院长兼系统建模组总监
上海控安 可信软件创新研究院副院长兼测试工具链组总监
上海工业控制安全创新科技有限公司技术专家,资深软件开发工程师,目前带领团队从事功能安全工具链系列产品的研发工作。
上海控安 可信软件创新研究院副院长兼汽车网络安全组总监
上海控安 安全测评部总监
工信部首批两化融合专家、中国航空工业信息技术中心原首席顾问
工业和信息化部电子第五研究所 软件与系统研究部测试部部长
上海控安盾睿团队功能安全专家、贝腾软件科技(上海)有限公司总经理
刘春晓是嵌入式软件需求工程,基于模型开发及测试和ISO26262及ASPICE流程融合的资深专家。曾在日本担任dSPACE和MathWorks的工具链部署技术咨询工程师,在日华人汽车工程师协会(JCSAE)理事,现为是德国顶级嵌入式软件测试公司BTC中国分公司的负责人。他在面向于日本及国内的核心主机厂和供应商提供技术服务工作近14年,在安全关键系统的嵌入式软件特别是需求工程,开发和自动化测试工程方面积累了丰富的电控产品量产经验。他对项目的热情主要反映在着眼于客户痛点,基于精选的先进方法论,与客户共同探究最佳方案。
同济大学教授、汽车安全技术研究所所长
上海交通大学航天航空学院 副院长
肖刚,博士、研究员、博士生导师。现担任上海交通大学航空航天学院副院长,先进航空电子与智能信息实验室负责人,上海市民机试飞工程技术研究中心副主任,中国航空学会信息融合分会委员,上海市航空学会民用航空器适航审定分会委员,《信息融合学报》编委。分别在Cranfield University(2007), University of California, San Diego(2010)、Southern Illinois University Edwardsville(2014-2015)任访问学者。长期从事先进航空电子综合与智能信息处理研究。自2005年来,主持国家自然科学基金(青年、面上)、国家重大基础研究课题(973)、国家高技术研究发展项目(863)、国家科技攻关计划、工信部民机专项、上海市工业强基专项、上海市高新技术产业化重大项目、上海市科委科技攻关项目、上海市科委国际科技合作基金项目、航空科学基金、航天科技创新重点基金等项目合计60余项。近5年来发表论文40余篇,其中SCI、EI、ISTP收录20余篇,申请或授权国家发明专利20项,申请并授权软件著作权8项,出版学术专著4部、译著1部。指导和培养博士及硕士研究生20余名。曾获得上海交通大学晨星青年学者奖励计划(2009)、上海市科技进步三等奖(2009)、教育部科技进步奖二等奖(2013)、航空科学基金优秀成果奖(2015)及上海市浦江人才(2016)。
大成中国区 数字业务中心副秘书长
上海控安 可信软件创新研究院工控网络安全组前端开发工程师
上海控安 可信软件创新研究院测试工程师
上海控安 可信软件创新研究院安全研究员
青藤云安全 应用安全产品线负责人
上海控安 可信软件创新研究院安全研究员
已完成
数据加载中