首页| English| 中国科学院

学术委员会

副标题:

时间:2015-03-30  来源:数学机械化重点实验室

姓名

职称

学委会职务

专业

工作单位

李邦河

中国科学院院士

主任

代数几何

中科院数学与系统科学研究院

高小山

研究员

副主任

自动推理

中科院数学与系统科学研究院

万哲先

中国科学院院士

委员

代数编码、组合

中科院数学与系统科学研究院

陆汝钤

中国科学院院士

委员

人工智能

中科院数学与系统科学研究院

张景中

中国科学院院士

委员

自动推理

中科院成都计算机所

林惠民

中国科学院院士

委员

计算机科学

中科院软件所

黄民强

中国科学院院士

委员

密码学

 

陈永川

中国科学院院士

委员

组合数学

南开大学

张继平

教授

委员

代数学

北京大学

王东明

教授

委员

计算机数学

北京航空航天大学

广西名族大学

宗传明

教授

委员

组合几何

北京大学

林东岱

研究员

委员

信息安全

中科院信息工程研究所

王小云

教授

委员

密码学

清华大学

陈发来

教授

委员

计算几何

中国科学技术大学

李洪波

研究员

委员

自动推理

中科院数学与系统科学研究院