报告题目：关于可证安全人工智能的思考

报告人：张卫明

报告时间：2026年1月8日（明天）下午2:00-4:00

报告地点：计算机学院108学术报告厅

   报告人：张卫明，中国科学技术大学教授、网络空间安全学院副院长、中国图象图形学学会常务理事、多媒体取证与安全专委会副主任，入选国家级高层次人才计划。主要研究兴趣包括信息隐藏和人工智能安全。在IEEE TIT、TPAMI、CCS、USENIX Security、S&P、NDSS、CVPR、ICCV等期刊会议发表论文300多篇，谷歌学术引用19900多次，任IEEE TDSC的Associate Editor。国家基础加强计划重点基础研究项目“首席科学家”，主持国家自然科学基金重点、国家重点研发课题、国家863等项目30余项。获得军队科技进步奖一等奖、安徽省自然科学奖一等奖、河南省自然科学奖一等奖、安徽省教学成果特等奖。获得ACM SIGSOFT杰出论文奖，CCS’24杰出成果奖等国际会议论文奖6项。

   报告摘要：中国科协发布的2025十大前沿科学问题中，第六问题是“基于密码学视角的人工智能安全新理论和防护体系”，该问题的本质是如何“推动人工智能安全从经验性防御向数学可验证安全范式跃迁”。因为人工智能的影响涉及各行各业，不仅深入大众日常生活而且在改变科学研究范式，所以科协发布的第六问题是一个包含很多子问题的宏大问题。比如多媒体安全领域对于推动可证安全人工智能是否可以有所作为？可证安全人工智能的核心问题又是什么？此报告将针对这两个问题展开讨论。