姓名

职称

学委会职务

专业

工作单位

万哲先

中国科学院院士

名誉委员

代数编码、组合

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

陆汝钤

中国科学院院士

名誉委员

人工智能

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

张景中

中国科学院院士

名誉委员

自动推理

中科院成都计算机所

李邦河

中国科学院院士

名誉委员

代数几何

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

林惠民

中国科学院院士

名誉委员

计算机科学

中科院软件所

徐宗本

中国科学院院士

主任

人工智能

西安交通大学

高小山

研究员

副主任

自动推理

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

黄民强

中国科学院院士

委员

代数编码

陈永川

中国科学院院士

委员

组合数学

南开大学 天津大学

张继平

中国科学院院士

委员

代数学

北京大学

王小云

中国科学院院士

委员

密码学

清华大学

王东明

欧洲科学院院士

委员

计算机数学

北京航空航天大学

宗传明

教授

委员

组合几何

天津大学

林东岱

研究员

委员

信息安全

中科院信息工程研究所

支丽红

研究员

委员

符号数值计算

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

陈发来

教授

委员

计算几何

中国科学技术大学

李洪波

研究员

委员

自动推理

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