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