申梅梅 谢立 王国仁 蒋廷耀 何锫 刘杰 古丽拉·阿东别克 康立山 孙跃华 曹阳 唐卫清 于炯 方强 于戈 李庆华 肖增良 周涤宇 陆桑璐

算法 依赖集 查询优化 语法分析树 非结构网格 优先级算法 分布式Crawler 程序验证 光线跟踪 遗传算法 并行算法 多连接表达式 真实感图 分布式系统 调度算法 URL检索 依赖图 任务图 输运方程