会士-会士名单
高小山
发布时间：2020/12/11 15:25
分享：
中国科学院数学与系统科学研究院研究员。1963年生于河北省，1984年毕业于国防科学技术大学获学士学位，1988年毕业于中国科学院系统科学研究所获博士学位。2020年当选为中国工业与应用数学学会会士。
长期致力于数学机械化研究，对该领域的发展做出了突出贡献，被吴文俊称为数学机械化领域目前的“领军人物”。曾荣获国家自然科学二等奖、香港求是杰出青年学者奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖、国家基金委杰青、第36届国际计算机学会SIGSAM/ISSAC杰出论文奖、国家“十五”重大科技成就网络展等荣誉，曾担任3个973项目的首席科学家与国家基金委创新群体学术带头人。
中国工业与应用数学学会办公室
地址：北京市海淀区清华大学数学科学系B202室
电话：010-62787525 建模竞赛咨询电话：010-62781785
学会总部办公基地（长沙）
地址：湖南省长沙市龙喜路2号星沙区块链产业园三楼
电话：0731-86207515
学会邮箱：office@csiam.org.cn
战略合作伙伴
扫描二维码关注中国工业与应用数学学会微信公众号
中国工业与应用数学学会 版权所有