李云清 谢武平 杨庆红 丁树良 苏昭 饶红萍 万剑怡 石海鹏 李英龙 骆健 陈勇光 石海鹤 化志章 曾雪强 杨晨 屈文建 罗海梅 万松松 王保华 孙永强 揭安全 王昌晶 廖春华 左正康 杨波 陈素芬

程序理论 异构计算系统 规约精化 面向对象程序设计 线程 代数结构 CAI 原始算子 程序设计智能计算机辅助教学 流程定义 接口技术 形式化推导 分划递推方法 除算子 部件获取 规范匹配 XML GDP CMP 正确性 算法设计 PAR方法 进程 算法理论 Java语言 形式化方法 Apla-Java 可重用部件 PVMMPI并行编程 工作流管理系统

上海交通大学计算机科学与工程系 江西南昌 上海交通大学 中国科学院软件研究所计算机科学重点实验室 江西师范大学计算机信息工程学院 中国科学院软件研究所 中国科学院软件所计算机科学开放实验室 中国科学院研究生院