胡萍 李海刚 张亚非 张为 王金刚 刘祥伟 唐燕飞 金成植 范菁 李旭东 王丹亚 张乃孝 白海 王汉琦 贾小勇 黄银强 谢晓尧 刘楠 刘胜辉 冯源 刘纪显 宋国新 李红革 张兆心 杨洋 邹俊 李桂 袭宗燕 代劲 钟发荣

历史关系数据库 LOTOS 连接缓冲池 项重写 组标志 TCP 数学思维 创造性 改革 移动Agent 规格说明 Web 服务描述语言WSDL) 安全性分析 有限状态机 法律推理 算法 业务过程建模 办公自动化 安全协议 程序理解 皮亚杰 非分组历史关系模式 正向工程 希尔伯特 容侵参数 p演算 生产调度 非形式化 需求分析 蚂蚁仿生系统