唐保兴 袁伟 夏心杰 卫琳 邵志清 宋国新 黄小戎 赵毅 陆汝占 毕华 胡振江 谢建华 叶志江 薛景云 金士尧 杨澜 薛锦云 王康达 何积丰 吴哲辉 陆朝俊 黄仁龄 李勇坚 董宏 韩启龙 邵惠鹤 沈浩 陈斯愈 钟发荣 沈理

性能评价 变换子 完备性 离散事件调度 最小不动点 脉动化 因果关系 并行程序开发 线性方程组 移动代理系统 类装载器 交互作用网 无共享结构 演算系统 自适应 λ演算 E变换 重写规则 Transputer 多版本并发控制协议 数据并行语言 博弈 项图重写 主动数据包 项重写系统 形式化技术 实时数据库 良基关系 线性逻辑 一致性判别

上海交通大学 江西师范大学计算机科学系 上海交通大学计算机科学与工程系 江西南昌 华东理工大学计算机科学与工程系 中国科学技术大学 澳门联合国大学国际软件技术研究所 山东科技大学计算机系