固定成员--中国科学院数学与系统科学研究院数学机械化重点实验室 (KLMM)

研究员
高小山李洪波潘彦斌闫振亚韩阳支丽红李子明陈绍示冯如勇王定康刘卓军袁春明贾晓红邓映蒲张志芳叶科程进三

副研究员
冯秀涛 Manolis C. Tsakiris 李伟李子佳李博王杰罗旭丹邵长鹏赵明阳张森

助理研究员
张国强

客座成员

兼职成员
杨争峰李树荣邢朝平王东明周咸青