高小山,男,1963年10月生于河北平山。1988年获中国科学院系统所应用数学博士学位,师从吴文俊研究员。现任中国科学院数学与系统科学研究院研究员、副院长。主要研究领域为自动推理、符号计算与智能CAD。获中国科学院自然科学一等奖(1995/排名2),国家自然科学二等奖(1997/排名2),中科院青年科学家一等奖(1997),求是杰出青年学者奖(1999),中科院杰出青年(1999),第四届亚洲数学技术大会 “最佳论文奖”(1999),中创软件人才奖(2006), ACM/SIGSAM颁发的ISSAC唯一杰出论文奖(2011/排名2)。现任中国数学会副理事长、中国工业与应用数学会副理事长。国家基金委优秀创新群体项目“数学机械化及其在信息技术中的应用”学术带头人,973项目 “数学机械化与数字化设计制造”首席科学家。出版专著3部,发表研究论文120余篇。2006年获中创软件人才奖
杨广文,男,1963年8月生于山西阳高。1996年获哈尔滨工业大学计算机系统结构博士学位,师从李晓明教授。现为清华大学计算机科学与技术系、地球系统科学中心双聘教授,博士生导师。在地球系统模式计算机系统结构、海量数据管理与分析、大规模并行程序调试与优化、基础开发环境等方面取得了重要进展;完成了国内首个地球系统模式耦合器C-Coupler的研究与开发工作,并应用于具有自主知识产权的地球系统模式;主持完成了清华大学用于支持交叉学科建设的百万亿次高性能计算系统研制,完成了863重点项目“面向地球系统模式的高性能计算支撑软件系统”的研发。2007年“中国国家网格”、“高性能集群计算机与海量存储系统”获得两项国家科技进步二等奖(分别排名5、排名6)。2014年“国家高性能计算应用服务环境”获北京市科技进步一等奖(排名4)。共发表学术论文100多篇。2003年至2010年任863“高效能计算机及网格服务环境”重大项目总体组专家,现任十二五 863 “中国云重点专项”专家组专家。2006年获中创软件人才奖