Page 38 - 《软件学报》2025年第8期

刘宗鑫 等: 神经网络的增量验证 3461

刘宗鑫(1999－), 男, 博士生, CCF 学生会员, 主 黄小炜(1979－), 男, 博士, 教授, 博士生导师, 主
要研究领域为形式化方法, 神经网络验证. 要研究领域为人工智能安全与验证, AI 可解释
性, 形式化方法.

迟智名(1998－), 男, 博士生, CCF 学生会员, 主 蔡少伟(1986－), 男, 博士, 研究员, 博士生导师,
要研究领域为概率模型检验, 人工智能安全. CCF 杰出会员, 主要研究领域为约束求解, 形式
化方法.

赵梦宇(1999－), 男, 博士生, 主要研究领域为约 张立军(1979－), 男, 博士, 研究员, 博士生导师,
束求解, 形式化方法. CCF 高级会员, 主要研究领域为概率模型检测,
协议验证, 学习算法, 自动驾驶系统验证.

黄承超(1992－), 男, 博士, 主要研究领域为符号 杨鹏飞(1993－), 男, 博士, CCF 专业会员, 主要
与代数计算, 自动推理, 形式化方法. 研究领域为人工智能安全, 概率模型检验.