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

Copyright©  中国科学院数学与系统科学研究院数学机械化重点实验室
地址：北京市海淀区中关村东路55号  邮编：100190
电话：86- 10-82541851  传真：86-10-82541809
京ICP备05002806号-1

研究员
高小山李洪波潘彦斌李子明冯如勇支丽红贾晓红韩阳陈绍示王定康袁春明闫振亚刘卓军邓映蒲张志芳高绪红（客座教授）

副研究员
叶科 Manolis C. Tsakiris 李子佳邵长鹏李博王杰李伟罗旭丹程进三冯秀涛

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

助理研究员
张国强

客座成员