• Gerhard M.Rieger

    DEKRA德凯 全球功能安全高级副总裁

    DEKRA德凯全球功能安全 高级副总裁

  • Adrian Valea

    上海控安盾睿团队资深专家、德国功能安全专家

    上海控安-盾睿实验室功能安全专家,全球功能安全领域的资深专家。

  • 刘春晓

    上海控安盾睿团队功能安全专家、贝腾软件科技(上海)有限公司 总经理

    刘春晓是嵌入式软件需求工程,基于模型开发及测试和ISO26262及ASPICE流程融合的资深专家。曾在日本担任dSPACE和MathWorks的工具链部署技术咨询工程师,在日华人汽车工程师协会(JCSAE)理事,现为是德国顶级嵌入式软件测试公司BTC中国分公司的负责人。他在面向于日本及国内的核心主机厂和供应商提供技术服务工作近14年,在安全关键系统的嵌入式软件特别是需求工程,开发和自动化测试工程方面积累了丰富的电控产品量产经验。他对项目的热情主要反映在着眼于客户痛点,基于精选的先进方法论,与客户共同探究最佳方案。

  • 董浩

    清华大学苏州汽车研究院 汽车电子安全所所长

    2016年,颁发中国第一张功能安全证书 2015年,开始推广ASPICE业务 2014年,开始全面负责国内多家OEM的ISO26262 认证&咨询项目 2013年,获得TÜV SÜD 功能安全专家资格(ISO26262),参与国内多家Tier1的ISO26262项目 2012年,参与日本ISO26262功能安全评估项目 2012年,获得TÜV SÜD 功能安全专家资格(IEC61508) (证书编号:TP12010172) 2011年,开始在国内为工程师们提供功能安全培训 2010年,开始为汽车电子ECU提供功能安全服务 2010年,研究功能安全标准,并多次参加IEC61508和ISO26262培训

  • 赵欣

    DEKRA德凯 汽车电子功能安全事业部中国区总监

    ISO 26262 功能安全专家 AutomotiveSPICE 注册审核员 中国区总监 / 汽车电子功能安全事业部 DEKRA 德凯中国 在 TÜV 组织内拥有 13 年工作经验,目前负责DEKRA在大中华区内的汽车电子功能安全,汽车电子信息安全AutomotiveSPICE,SOTIF,AUTOSAR 等服务的培训、咨询、审核、认证等安全解决方案的团队管理,项目运行等方面工作,同时担任ISO 26262 功能安全专家和AutomotiveSPICE审核员。 从 2009 年起,开始统筹与推进大中华区所有功能安全 (其中包含:轨道交通、汽车电子、核电安全控制系统,过程自动化,机器人系统等领域) 安全产品相关的功能安全认证、咨询、评估等相关项目。 从 2016 年起,全面负责大中华区汽车电子与安全事业部的相关运营工作,曾经支持并带领团队,为多家本土OEM / Tier1 / Tier2 相关企业提供过ISO 26262 /AutomotiveSPICE / ISO 21434 / UNECE CSMS 等相关技术支持/咨询/评估/认证服务。

  • 宁振波

    工信部首批两化融合专家、中国航空工业信息技术中心原首席顾问

  • 缪炜恺

    华东师范大学软件工程学院 博士、副教授

    华东师范大学软件工程学院副教授、院长助理、嵌入式软件与智能系统系主任,主要研究领域为软件需求、软件形式化方法和软件测试等。主持多项国家自然科学基金青年基金、面上基金及重点企业合作项目,在国内外高水平期刊与会议发表学术论文20余篇。曾获得上海市科技进步特等奖、上海市高校青年教师教学竞赛一等奖。多年来聚焦嵌入式控制软件的形式化需求建模与分析验证,所研制的工具在航空航天和轨道交通领域多家重点企业应用。

  • 潘蓉

    BSI英标 亚太区数据治理首席专家

  • 朱益铭

    微软创新联盟 运营总监

  • 李修鹏

    上海红禾信息科技有限公司 可靠性咨询总工

  • 高德海

    里卡多科技咨询(上海)有限公司 安全事业部技术总监

  • 方成方

    华为新加坡可信技术研究实验室 高级研究员

    方成方,新加坡国立大学2013届计算机博士,随后加入华为新加坡研究所可信技术实验室。主要研究领域包括信息论安全及隐私保护,特别是机器学习、物联网、移动设备和生物识别等方向的安全和隐私保护研究。当前主要研究可信AI技术,应对解决AI系统面临的各种挑战威胁,尤其是闪避攻击、后门攻击、模型窃取、模型逆向以及数据窃取等针对模型本身的威胁。关注技术点包括对测评、检测、经验防御方案以及理论防御探索。他在该领域发表了20多篇研究论文,获得了15项专利。

  • 张民

    华东师范大学软件工程学院教授、软件科学与技术系系主任

  • 李钦

    华东师范大学软件工程学院 副教授

    随着人工智能产业的飞速发展,人工智能技术及其产品已深入到社会生产和人民生活的各个方面。人们在给予人工智能系统更广泛的应用空间时,也面临如何理解、规范、控制和优化人工智能系统,使其行为更加可靠可控的问题。可验证的人工智能系统的基础理论和方法的研究是人们理解和分析人工智能系统行为的基础,也是可信人工智能系统构造和优化的科学依据。本次课程将围绕可验证的人工智能系统理论与方法,阐述可验证的人工智能系统的理念和意义,提出相应的核心科学问题,并对相关技术进行介绍,讨论形式化方法和软件工程如何应用到人工智能系统的设计、验证与评估中去。

  • 孟国柱

    中国科学院信息工程研究所 副研究员

  • 吴贵丹

    上海复深蓝软件股份有限公司 研发总监

  • 唐忱

    苏州棱镜七彩信息科技有限公司 研发总监

  • 李兆鹏

    安徽中科国创高可信软件有限公司 研发总监