| 郑晓鹏 博士（中国科学院） 职称/职务：讲师 研究方向： 符号计算 办公地点：D栋南塔230-4 Email：xiaopengzheng@stu.edu.cn |
|
郑晓鹏，讲师，2024年在中国科学院数学与系统科学研究院获博士学位，主要研究符号计算、几何定理自动证明、多元多项式矩阵。代表性论文发表在 J. Syst. Sci. Complex., J. Symb. Comput., IEEE Trans. Circuits Syst. II Express Briefs 等学术期刊和International Symposium on Symbolic and Algebraic Computation 国际会议。