谢希仁 邵军力 张毓森 程翼羽 刘鹏 董建设 王金双 张学平 贺建民 张兴元 张桂芸 吴礼发 马玉平 洪征 杨华兵 胡谷雨 龙元香 蒋慧 刘苗 王永际

Ad hoc 推理 可选择的可靠传输协议 类型检测 生命科学 自动定理证明（ATP） 消解原理 肿瘤 连通性 人工免疫系统 反向传播 覆盖节点 克隆选择 多层神经网络 类型推理 故障管理 活动性 自然推理 计算机安全 抗摧毁性 高层体系结构 阴性选择 类型系统 情感主体 专家系统 IsabelleHOLIsar 形式化验证 人工生命 SAODV协议 假设

解放军理工大学指挥自动化学院 江苏南京 解放军理工大学通信工程学院 解放军理工大学指挥自动化学院计算机系 解放军理工大学科研部 南京大学软件新技术国家重点实验室 浙江大学 兰州理工大学计算机与通信学院