中国科学院数学与系统科学研究院研究员，博导。2002年于中国科学技术大学获理学学士；2007年于中国科学院数学与系统科学研究院获理学博士学位。主要研究方向包括：数学机械化，微分差分方程的构造性理论与方法，数字化设计与智能制造中的数学方法。

在数学机械化方面，他与合作者给出了差分情形的特征列理论与方法，微分差分结式理论，微分周形式理论，拓展了数学机械化方法的适用范围，提高了机器证明的效率，是数学机械化的“基本结果”与“突破”。在数字化设计与智能制造方面，他与合作者给出了多种实用约束下的时间最优插补算法，提出了结合拟合与插补的时间样条拟合方法以及结合数控加工的高效路径规划方法，获得相关专利8项。相关算法成功嵌入国产数控系统“蓝天数控”中，入选中科院70周年成果展，并应用于广西玉柴集团的数字化无模成型机的升级改造，在保持原有硬件不变的情况下加工效率提高50%以上。

相关学术工作发表于数学计算理论方面的顶尖期刊 Found. Comput. Math.，Trans. Amer. Math. Soc.，符号计算权威期刊 J. Symb. Comput.，机器人与数控专业期刊 Rob. and Com-Int. Manu., 计算机辅助设计权威期刊 Comput.-Aided. Design. 等上。主持与参与国家自然科学基金面上项目、北京市重点项目、973项目以及国家重点研发计划等多个项目。曾获卢嘉锡青年人才奖和ICM/SIGSAM颁发的2011年度杰出论文奖。