高小山

  • 高小山
    中国科学院系统所研究员、副院长,中国科学院数学机械化重点实验室主任,研究方向:数学机械化,符号计算, 自动推理,信息安全,智能软件开发。