首页| English| 中国科学院

实验室组织

副标题:

时间:2014-06-23  来源:数学机械化重点实验室

姓 名

专 业

职称/职务

实验室任职

吴文俊

数学

中国科学院院士

名誉主任

李洪波

自动推理

研究员

主任

李子明

符号计算

研究员

副主任

邓映蒲

信息安全

研究员

副主任

支丽红

符号计算

研究员

副主任

 

相关科研组织——数学机械化研究中心

李子明

符号计算

研究员

主任

支丽红

符号计算

研究员

副主任

相关科研组织——信息安全研究中心

邓映蒲

信息安全 

研究员

主任

张志芳

信息安全

副研究员

副主任