中国科学院数学与系统科学研究院副研究员、博士生导师。本科毕业于山东大学，博士毕业于中国科学院数学与系统科学研究院，美国加州大学伯克利分校访问学者。现任国际符号逻辑学会(ASL)理事、中国数学会计算机数学专委会委员、数理逻辑专委会委员。

主持国家自然科学基金委优秀青年基金。曾获国际计算机协会(ACM) SIGSAM/ISSAC杰出论文奖、吴文俊计算机数学青年学者奖、中国科学院优秀博士学位论文、入选中国科学院数学院“陈景润未来之星”、中国科学院青年创新促进会等荣誉。

主要研究领域为数学机械化理论与微分代数几何，其研究内容与数理逻辑、数学物理等有紧密的联系，并在定理机器证明、微分方程相关问题、非线性控制等领域有重要的应用。代表性工作包括：合作建立了微分周形式与微分周簇理论；发展了稀疏微分/差分结式的理论及单指数消元算法，拓展了数学机械化方法的适用范围；证明了有效微分-差分Hilbert零点定理，证明了微分-差分方程的相容性判定问题是可判定的。成果主要发表在Found. Comput. Math.，Trans. Amer. Math. Soc., J. London Math. Soc., J. Symb. Comput.等国际期刊。

欢迎报考：具有推免资格的数学专业本科生，特别是对代数感兴趣的学生