2007年至2009年为吉林大学数学研究所博士后，合作导师为高文杰教授，2009年至2010年在法国蒙彼利埃大学LIRMM实验室作访问学者，合作老师为国际着名人工智慧专家Christian Bessiere教授。现为吉林大学计算机科学与技术学院副教授、硕士生导师。

为人工智慧与约束求解。

发表论文30余篇，主持国家自然科学基金项目2项，吉林省青年科研基金项目1项，教育部基础科研业务费--学科前沿与交叉项目1项，横向项目2项。目前指导硕士研究生7名，已毕业2名。