李洪波

　　男，中国科学院数学与系统科学研究院研究员，
　　中国科学院数学机械化中心主任，
　　研究方向：数学机械化，几何推理，理论计算机视觉
　　1994年于北京大学数学系获博士学位，
　　1997年入选中国科学院百人计划，
　　1998年迄今任中国科学院数学与系统科学研究院研究员、博士生导师。
　　曾获香港求是杰出青年学者奖（1998年），德国洪堡研究基金（1999年），
　　中国优秀博士后奖（2001年），百千万人才工程首批国家级人选（2004年），
　　中国科学院数学与系统科学研究院突出成果奖（2004年），
　　ACM SIGSAM 杰出论文奖（2007年）。