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

  • 程增木

    芯片之家（chiphome） 联合创始人

  • 沈旻婒

    域乎科技 行业解决方案专家

  • 张浏骅

    中国赛宝实验室（工业和信息化部电子第五研究所） 信息安全专家

  • 潘蓉

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

  • 朱益铭

    微软创新联盟 运营总监

  • 李修鹏

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

  • 高德海

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

  • 方成方

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

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

  • 张民

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

  • 李钦

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

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

  • 孟国柱

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

  • 吴贵丹

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

  • 唐忱

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

  • 李兆鹏

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

  • 杨胜兵

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

  • 程晖

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

  • 庄彦

    信息安全专家

  • 姜伟

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

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