曾红卫 刘玉珍 宋悦 凌成 胡元闯 陈清亮 郑建丹 董荣胜 张广泉 薛锦云 朱可宜 缪淮扣 张师超 李龙澍 唐同诰 李琼章 刘清 肖美华 骆华俊 王飞明 郝克刚 葛玮

自由出现 模态逻辑 完全性 模型检测 认知逻辑 定理证明 规约 动态逻辑 体系结构描述工具 合理性 一阶语言 软件体系结构 完备性 计算树逻辑 程序方法论 形式化方法 并发控制 反应系统 验证 形式验证 不变式 知识表示 时态知识表示 时态推理 完备性定理 模型检查 Web应用 面向对象模型 体系结构描述语言 并发系统