实验室组织 | ||||
---|---|---|---|---|
姓 名 | 专 业 | 职称/职务 | 实验室任职/单位 | |
吴文俊 |
|
中国科学院院士 | 名誉主任 | |
李洪波 |
|
研究员 | 主任 | |
李子明 |
|
研究员 | 副主任 | |
邓映蒲 | 副研究员 | 副主任 | ||
相关科研组织——数学机械化研究中心 | ||||
李子明 | 研究员 | 主任 | ||
支丽红 | 研究员 | 副主任 | ||
王定康 |
|
研究员 | 副主任 | |
相关科研组织——信息安全研究中心 | ||||
胡磊 | 研究员 | 主任 | ||
邓映蒲 | 副研究员 | 副主任 | ||
学术委员会 | ||||
李邦河 |
|
中国科学院院士 | 学术委员会主任 | |
高小山 |
|
研究员 | 学术委员会副主任 | |
吴文俊 |
|
中国科学院院士 | 学术委员会委员 | |
万哲先 |
|
中国科学院院士 | 中科院数学院 | |
张景中 |
|
中国科学院院士 | 中科院成都计算所 | |
林惠民 |
|
中国科学院院士 | 中科院软件所 | |
黄民强 | 中国科学院院士 | 陆汝钤 |
|
中国科学院院士 | 中科院数学院 |
陈永川 |
|
中国科学院院士 | 南开大学 | |
张继平 |
|
教授 | 北京大学 | |
李克正 |
|
教授 | 首都师范大学 | |
冯克勤 |
|
教授 | 清华大学 | |
吴 可 |
|
教授 | 首都师范大学 | 李 华 | 研究员 | 中科院计算机所 |
王小云 | 教授 | 清华大学 | ||
李洪波 |
|
研究员 | 中科院数学院 | |
电话:+68 10 62541834; 传真:+86 10
62630706 地址:北京中关村中科院系统所 邮编:100080 |