登陆
注册
首页> 合作> 合作专家

  • 张民

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

  • 李钦

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

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

  • 孟国柱

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

  • 吴贵丹

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

  • 唐忱

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

  • 李兆鹏

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

  • 杨胜兵

    武汉理工大学汽车工程学院 副教授

  • 程晖

    科世达（上海）管理有限公司 开发部部长

  • 庄彦

    信息安全专家

  • 姜伟

    南京富士通南大软件技术有限公司 首席敏捷咨询师

  • 凌铭

    上海工程技术大学电子电气工程学院 教授级高级工程师

  • 刘文军

    慷智集成电路(上海)有限公司创始人、芯片知名专家

    刘文军（James Liu），慷智集成电路创始人,拥有多项美国专利，美国硅谷初创视觉SoC芯片公司的成功经验；超过30年视觉计算（CV）、视频SOC芯片和人工智能的业界成功经验，业界顶级专家和管理者。

  • 邵亚萌

    上海临港智能网联汽车研究中心有限公司 前瞻技术研究部主管工程师

    邵亚萌，长期从事车联网通信和信息安全方面研究，且有丰富的标准化经验，参与汽标委、通标委（CCSA）、智能交通产业联盟（C-ITS）、中国智能网联汽车产业创新联盟（CAICV）、IMT-2020 C-V2X工作组等组织的标准化工作。参与过多个国家、地方科技重大专项的研究工作，有丰富的项目经验。参与《C-V2X白皮书》、《车联网白皮书》、《基于LTE的V2X安全技术白皮书》、《C-V2X 产业化路径及时间表研究》等多项文稿的撰写工作。参与多项国家级、省市级重大专项的申报、研究工作，包括2016年“国家重点研发项目-智能电动汽车的感知、决策与控制关键基础问题研究”、2017年“国家重点研发计划-自动驾驶电动汽车集成与示范”、2018年“国家重点研发计划-车路协同环境下车辆群体智能控制理论与测试验证项目”、2016年“北京市科技计划-端到端V2X无线通信系统研发及测试验证”、2016年“智能制造综合标准化项目-智能网联汽车系统及通信标准化研究与试验验证平台建设”等。

  • 李旭华

    上海智能网联汽车技术中心有限公司 高级经理

    李旭华，主要从事车联网信息安全工作，包括智能网联汽车信息安全技术体系、信息安全技术方案、数字证书应用、密码学应用和汽车信息安全工具链等。同时跟踪研究解读国际国内信息安全法规标准，如UN/ECE/WP.29 R155、ISO/SAE DIS 21434、SAE J3061、国内汽车信息安全法规标准等。目前正在从事汽车信息安全测试、V2X车路协同信息安全等工作。

  • 赵治国

    同济大学汽车学院 副院长、教授

    同济大学汽车学院，教授，博士生导师。2004年11月同济大学博士后出站后留校工作至今。2015年9月~2016年3月美国加州大学伯克利分校高级研究学者。主要研究方向包括：新能源汽车动力系统集成控制、新型传动装置控制及车辆动力学控制。在国内外核心期刊及国际学术会议上已发表论文200余篇，其中第一作者（含通讯作者）SCI期刊论文40余篇。以第一发明人已授权发明专利40余项，出版译著1部，参编教材1部。作为主要完成人获2013年上海市科技进步一等奖。

  • 毕欣

    同济大学汽车学院 博导、研究员

    研究员/博导，同济大学汽车学院研究员，兼任深圳市未来智能网联交通系统产业创新中心执行主任，前中国科学院沈阳自动化研究所研究员。浙江大学博士后，2014年美国麻省理工学院（MIT）留学访问。ISO/TC204-WG14专家成员，国家SAC/TC268委员，SAE International技术委员会委员、中国电子学会高级会员，中国科学院青年创新促进会会员。CCTV中国十大创业榜样，江苏省“双创”人才，江苏省六大高峰人才, 辽宁省千人。发表SCIEI文章50余篇，授权发明专利10余项，专著2部。从事自主无人系统环境感知系统研究，科技成果广泛应用于汽车无人驾驶与主动安全、无人机避障、智能交通、轨道交通，以及工业智能测控等领域。

  • 刘虹

    信息安全专家

    毕业于北京航空航天大学，获博士学位，入选北京市组织部“青年骨干个人”。主要研究方向包括工业控制系统安全、边缘计算安全，主持“十二五”国家科技支撑计划、科技部重点研发计划子课题。发表SCI论文30余篇，获教育部技术发明一等奖、教育部自然科学二等奖、上海市技术发明二等奖、公安部第三研究所个人嘉奖等。

  • 翁祖昊

    软件技术专家、高级工程师

    熟悉各类测试架构，掌握嵌入式开发、黑白盒（包括Cunit、Nunit等框架）、自动化、性能、接口测试等技术；熟悉GB/T 25000、GB/T 20438、GB/T 34590等各类软件领域、软件功能安全领域标准； 国家CNAS实验室负责人&授权签字人，主管工业机器人&医疗机器人及各类工业控制设备的软件研发/仿真/测试/实施项目； 参与起草《国家机器人智能化评测方法系列标准》制定工作； 个人7项发明专利（已授权）， 3篇出版作品（含1篇核心）； VDA Aspice provisional 评估师 ，国家信息系统项目管理师、CACE-CPAC、PMP。

沪公网安备31010702008313号 沪ICP备18019345号-2 © 2019 上海工业控制安全创新科技有限公司 保留所有权利