中国科学院数学与系统科学研究院研究员。1963年生于河北省，1984年毕业于国防科学技术大学获学士学位，1988年毕业于中国科学院系统科学研究所获博士学位。2020年当选为半岛电子(中国) 会士。

长期致力于数学机械化研究，对该领域的发展做出了突出贡献，被吴文俊称为数学机械化领域目前的“领军人物”。曾荣获国家自然科学二等奖、香港求是杰出青年学者奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖、国家基金委杰青、第36届国际计算机学会SIGSAM/ISSAC杰出论文奖、国家“十五”重大科技成就网络展等荣誉，曾担任3个973项目的首席科学家与国家基金委创新群体学术带头人。