黄园媛 徐海平 曾广平 李平 周坚 蔡远利 杨春晖 陈克非 叶斌 刘磊 金福江 涂序彦 于振华 吴刚 王威 马忠贵 高春鸣 孙原理 吴泉源 王立斌 王怀民 张红 王慧

多主体系统 语义 并发 建模 SKI演算 协同商务 CCE规则 类型系统 CORBA 形式化建模 MWB 演化 Combinator演算族 协调 协同交互 安全协议 分布式人工智能 动态矩阵控制 多智体系统 移动智能体 面向对象Petri网 元任务 进程代数 多智能体 软件人 并发模型 软件体系结构