庄雷 王志勇 钟广军 胡小华 金炳尧 李鹤松 周晓娟 颜跃进 陈义明 王兵山 龚广 窦文华 刘春林 陈跃新 宁洪 李梦君 王巾盈 宋震 刘军万 邹蕴珂 陈火旺 刘凤歧 计宏霖 李智鹏 周倜 李强 张艳 马永进 张翀斌 忽朝俭

形式化验证 认证性 交通网络 数据流 灾难恢复 聚类 逻辑分析 上机考试 深度优先搜索 邻接矩阵 验证 增量 XML模式 电子商务协议 分布式 基于身份的密码学 观察同余 计划 挖掘 描述逻辑 反例 分布式事务处理 远程备份 基于场景的扫描策略 嵌入式系统 抽象解释理论 ACUN理论 自动检测 带量词的布尔公式 漏洞扫描

北京航空航天大学计算机科学与工程学院 四川大学数学学院 湖北武汉 武汉大学软件工程国家重点实验室 国防科技大学计算机学院 国防科学技术大学计算机学院 北京航空航天大学计算机学院 湖南长沙