王迤冉 舒忠梅 林凌 焦文品 戴国忠 郭亮 冯玉琳 王远 鱼滨 李广元 胡金柱 李树靖 刘瑞成 何安平 华庆一 贺也平 单卓为 蒋屹新 佟长英 马华东 周清雷 袁媛 齐继光 夏勇 胡建平 曲扬 张高 朱雪阳 张东晓 卞树檀

Game理论 模型检查 可满足性 自然推理系统 关键节点控制图 以色列 SPIN Kripke语义 形式规约 语句重排 间隔逻辑 投影时序逻辑 模型检测 测试用例 语句交换 Petri网 扩频载波 Lorel LOTOS 形式语义 模糊时间 求精 变量替换 组合 XYZE 状态空间 接布机 优化编译 计算机科学 公理系统