王家德 何知宇 袁昕 陈建孟 冯之敬 陈宝军 程江 陈霞 石跃祥 胡振江 赵东旭 陆朝俊 朱世富 朱自安 侯忆铭 赵北君 杨慧光 张天宁 徐淑頲 王明文 赵欣 李渊洁 贾晶 赖树华 郑坚平 吴根秀 袁华强 袁伟 林凯 方昭希

BSP模型 非圆数控车削 不确定性 单晶生长 FP 语言 并行处理 合流性 IO性能模型 Monad 荧光光谱 发菜 命令式语言 并行排序算法 Java虚拟机语言 Transputer网络 约束时间分析 Thread延迟进程生成法 垂直布里奇曼法 并行LE计值 Java字节代码 块同步并行模型 函数语言 面向对象 程序设计 语义函数 代数变换 皮秒级时间分辨 递归归约树 多步向前驱动 多处理机

上海交通大学计算机科学与工程系 江西师范大学计算机科学技术学院 清华大学精密仪器与机械学系 上海交通大学计算机科学和工程系 湖南湘潭 浙江杭州 东莞理工学院计算机科学与技术系 北京理工大学生命科学与技术学院