个人简介

招生专业 070104-应用数学 招生方向 机器证明 符号计算 量子计算 工作简历 1998-06~2013-06,中科院数学院, 研究员 奖励信息 （1） 中国科学院数学与系统科学研究院关肇直冠名研究员, 特等奖, 研究所（学校）, 2017 （2） Hestenes最佳论文奖, 其他, 2015 专利成果 （ 1 ） 一种基于多项式约化的初等数列问题自动求解技术, 2017, 第 2 作者, 专利号: 2017104562482 科研项目 （ 1 ） 杰青, 主持, 国家级, 2010-01--2013-12 （ 2 ） 数学机械化方法及其在信息技术中的应用, 参与, 国家级, 2009-01--2014-12 （ 3 ） 数学机械化方法及其在数字化设计制造中的应用, 主持, 国家级, 2010-09--2015-08 （ 4 ） 数学与先进制造交叉研究, 主持, 部委级, 2011-11--2018-12 （ 5 ） 几何定理机器证明的代数方法的等价性与完全性, 主持, 国家级, 2017-01--2020-12 （ 6 ） 数学定理的机器证明和数学证明的验证补充, 主持, 部委级, 2017-05--2021-04 （ 7 ） 量子基础算法及其在密码分析中的应用, 主持, 国家级, 2017-01--2017-12