首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
研究队伍
>
固定成员
>
院士
院士
吴文俊
中科院院士 研究方向:数学机械化
万哲先
中科院院士 研究方向:代数,编码,有限几何
李邦河
中科院院士 研究方向:拓扑,代数几何
研究员
刘卓军
高小山
李洪波
李子明
支丽红
韩阳
王定康
闫振亚
邓映蒲
冯如勇
张志芳
贾晓红
袁春明
陈绍示
高绪红(客座教授)
副研究员
程进三
冯秀涛
叶科
潘彦斌
李博
李伟
Manolis C. Tsakiris
李子佳
邵长鹏
王杰
助理研究员
罗旭丹
张国强
客座成员
兼职成员
周咸青
王东明
邢朝平
李树荣
杨争峰
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1