高小山
中国科学院数学与系统科学研究院研究员.1963年生于河北省,1984年毕业于国防科学技术大学获学士学位,1988年毕业于中国科学院系统科学研究所获博士学位.2020年当选为中国工业与应用数学学会会士.
长期致力于数学机械化研究,对该领域的发展做出了突出贡献,被吴文俊称为数学机械化领域目前的"领军人物".曾荣获国家自然科学二等奖,香港求是杰出青年学者奖,吴文俊应用数学奖,吴文俊人工智能杰出贡献奖,国家基金委杰青,第36届国际计算机学会SIGSAM/ISSAC杰出论文奖,国家"十五"重大科技成就网络展等荣誉,曾担任3个973项目的首席科学家与国家基金委创新群体学术带头人.