中文摘要：

本人主要研究方向为代数组合学，在组合学和符号计算最高级别杂志发表多篇论文，并出版《计数组合学》译著。　　在组合恒等式的机器证明领域取得了一系列成果解决了恒等式机器证明理论的一个基础问题——k无关递推关系的存在性；给出了证明无穷q级数等式的系统方法，得到了同行专家的高度评价；给出了q-Zeilberger算法的终止条件，引发了后继研究。　　给出了若干研究组合问题的系统方法提出了利用恒等式机器证明理论构造组合证明的方法；给出了计算偏序集分拆生成函数的新公式，被审稿人评价为“这一方向的重要进展”；将“核方法”推广到高维情形，为排列计数提供了有力工具。　　利用对称函数理论研究了多个组合问题研究了与Rogers-Szego多项式相关的连分数，提供了新的研究思路，被多次他引；首次将对称函数推广至负数下标并用于研究递推序列；研究了Hankel行列式的计算，方法被综述文章收录。