中国科学院数学与系统科学研究院研究员、博士生导师。现任中国科学院数学机械化重点实验室副主任。

曾赴西班牙瓦拉多利德大学、意大利ICTP以及美国北卡州立大学等进行访问与学术交流。兼任中国数学会计算机数学专业委员会委员、北京市计算数学学会理事；担任Journal of Systems Science and Complexity 副主编、Journal of Symbolic Computation编委。

主要研究方向为：符号计算与微分差分伽罗华理论，特别是微分差分方程的符号求解、线性微分（差分）方程伽罗华理论中的计算问题及其在特殊函数理论与组合数学等领域的应用。目前已在符号计算领域重要国际会议ISSAC与重要期刊Journal of Symbolic Computation, 以及Advances in Applied Mathematics, Journal of Algebra, Mathematics of Computation, Transactions of the AMS等杂志发表论文20多篇。

曾获得第一届“吴文俊计算机数学青年学者奖”(2017)，第46届国际符号与代数计算年会(ISSAC2021)“杰出论文奖”，中国科学院数学与系统科学研究院优秀教师奖等奖励，并入选中国科学院青年创新促进会。

欢迎对符号计算，特别是微分差分代数中的计算问题，感兴趣的同学报考！

联系电话：86-10-82541436