上海计算机软件技术开发中心 网安所咨询主管、博士
上海蔚赫信息科技有限公司 产品总监
中国电子技术标准化研究院 副总工程师、研究员
中国电子技术标准化研究院 副总工程师,研究员,长期从事芯片检测/研究。做过CNAS溯源和不确定度老师。
深圳昂楷科技有限公司 华东区技术经理、解决方案总监
工控兄弟连 创始人兼CEO
上海亚远景信息科技有限公司 国际评估师
芯片之家(chiphome) 联合创始人
域乎科技 行业解决方案专家
中国赛宝实验室(工业和信息化部电子第五研究所) 信息安全专家
BSI英标 亚太区数据治理首席专家
微软创新联盟 运营总监
上海红禾信息科技有限公司 可靠性咨询总工
里卡多科技咨询(上海)有限公司 安全事业部技术总监
华为新加坡可信技术研究实验室 高级研究员
方成方,新加坡国立大学2013届计算机博士,随后加入华为新加坡研究所可信技术实验室。主要研究领域包括信息论安全及隐私保护,特别是机器学习、物联网、移动设备和生物识别等方向的安全和隐私保护研究。当前主要研究可信AI技术,应对解决AI系统面临的各种挑战威胁,尤其是闪避攻击、后门攻击、模型窃取、模型逆向以及数据窃取等针对模型本身的威胁。关注技术点包括对测评、检测、经验防御方案以及理论防御探索。他在该领域发表了20多篇研究论文,获得了15项专利。
华东师范大学软件工程学院教授、软件科学与技术系系主任
华东师范大学软件工程学院 副教授
随着人工智能产业的飞速发展,人工智能技术及其产品已深入到社会生产和人民生活的各个方面。人们在给予人工智能系统更广泛的应用空间时,也面临如何理解、规范、控制和优化人工智能系统,使其行为更加可靠可控的问题。可验证的人工智能系统的基础理论和方法的研究是人们理解和分析人工智能系统行为的基础,也是可信人工智能系统构造和优化的科学依据。本次课程将围绕可验证的人工智能系统理论与方法,阐述可验证的人工智能系统的理念和意义,提出相应的核心科学问题,并对相关技术进行介绍,讨论形式化方法和软件工程如何应用到人工智能系统的设计、验证与评估中去。
中国科学院信息工程研究所 副研究员
上海复深蓝软件股份有限公司 研发总监
已完成
数据加载中