本论坛将于CNCC中国计算机大会第一天（10月22日）,在北京新世纪日航饭店四川厅举行（13:30-15:30），共邀北京大学、南京大学、国防科大、中国科学院信工所、中山大学、华为技术有限公司等机构的专家与你探讨人工智能软件系统质量保障相关热点问题与前沿工作。

以机器学习为代表的人工智能技术近年来迅猛发展，在多个领域带来驱动性变革，并给人类生产生活乃至社会发展带来持续且深远的影响。然而，与传统软件系统开发中从需求到实现的“推导式”流程不同，机器学习模块的实现高度依赖于数据样本的训练和学习，相关技术背后的“不确定性”乃至“不可解释性”给其质量保障带来了巨大的挑战，也对相关技术的发展与应用带来了不容忽视的影响与制约。论坛将围绕人工智能系统质量保障这一议题邀请领域知名学者展开讨论，从需求、测试、分析、验证、度量、容错等方向探讨相关方向的前沿技术与发展方向。

论坛安排

时间(下午)

讲者

报告题目

单位

1:30-1:50

王戟

可验证的机器学习

国防科大

1:50-2:10

王伟

AI软件系统的质量保证挑战

华为技术有限公司

2:10-2:30

黄凯

无人驾驶事故分析

中山大学

2:30-2:50

熊英飞

检测神经网络体系结构中的数值计算缺陷

北京大学

2:50-3:10

陈恺

人工智能安全攻防对抗

中科院信工所

3:10-3:30

黎铭

软件缺陷学习

南京大学

论坛主席

金芝

北京大学教授，项目首席科学家。任北京大学高可信软件技术教育部重点实验室常务副主任，国务院学位委员会学科评议组成员（软件工程），中国计算机学会会士与常务理事，中国计算机学会系统软件专业委员会主任，任IEEETSE/TR编委，EmpiricalSoftwareEngineering编委，《软件学报》执行主编，《计算机学报》副主编。主要研究领域包括：软件需求工程、知识工程、和基于知识的软件工程等，出版英文专著3部，中文编著1部，发表论文余篇。年获得国家杰出青年科学基金资助。

马晓星

博士，南京大学计算机科学与技术系教授、南京大学计算机软件研究所副所长。长期从事面向开放环境的软件技术研究，近期尤其