中国科学院数学与系统科学研究院研究员。1987年北京大学数学系毕业获理学学士学位，1990年在中国科学院系统科学所获硕士学位，1993年在中国科学院系统科学所获博士学位。
曾在香港城市大学数学系和日本大学媒体实验室进行访问研究。主要研究领域是符号计算和计算机代数、几何定理的自动证明与发现，计算代数几何。
近年来，主要研究含参数多项式系统，高效Groebnert基算法以及多变元多项式矩阵分解的相关理论、算法及应用。特别地，在含参数代数方程组求解求解方面，研究小组给出了至今为止最为高效的参数Groebner系统的计算方法。主要学术成果发表在符号计算的顶级期刊和国际会议上（Journal of Symbolic computation,ISSAC）以及国内的最好的数学期刊Science China（Mathematics,Information）上。
