仇佩亮 肖美华 曾庆凯 王新苏 胡波 尹传文 王伟光 包丽梅 葛丽娜 张广泉 李曦 董驻鹏 冯登国 裘宗燕 李红革 李先贤 郑明春 李建华 宋雨 陈丹敏 龚育昌 王命延 薛锦云 王煦法 喻钧 董军 薛锐 张立臣 赵建利 阳富民

开发模式 形式化建模 Java路径探测器 排课问题 逻辑推理 代数系统 公理系统 模型检测 形式化规范 时态逻辑 启发式搜索 信息安全 自动机理论 事实反驳 XYZE 规约 深度优先搜索 Larch 多视点 DNA计算机 Z 系统级状态机 演绎证明 非形式化 规范说明 结构研究 可靠性 软件开发 形式归约 形式化模型