李云清 谢武平 杨庆红 丁树良 苏昭 饶红萍 万剑怡 石海鹏

程序理论 异构计算系统 规约精化 面向对象程序设计 线程 代数结构 CAI 原始算子

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