张运桢 武继刚 顾永立 谢宜晖 魏云芳 蒋丹东 杨涛 王铮 陶勇 何援军 顾训穰 谢步罡 苏运霖 赵锡英 李智勇 谭歆 陈璐 柳渝 沈骊天 成岗 杨东 李镔 时凌 廖道争

有界性 活性 综合 非线性系统 算法复杂性 有序工件 最小生成树 特殊网络 可交换性 重命名 效率分析 二级倒立摆 奇偶划分 并行算法 规范函数 点簇 可靠度 图 特殊Thue系统 NP-困难 复杂性 计算机语言 净室 几何约束 类型检查 流水作业 函数逻辑程序设计 分解定理 重叠 多规范语言