个人简介

招生专业 070104-应用数学 070101-基础数学 招生方向 机器证明，计算机代数 符号计算 教育背景 1990-09--1993-07 中国科学院系统科学研究所 博士 1987-09--1990-07 中国科学院系统科学研究所 硕士 1983-09--1987-07 北京大学 学士 工作简历 2012-03~现在, 中国科学院数学与系统科学研究院, 研究员 1997-03~2012-03,中国科学院系统科学研究所, 副研究员 1993-07~1997-02,中国科学院系统科学研究所, 助理研究员 教授课程 代数计算理论 Groebner基的算法 专利成果 （ 1 ） 基于二次B样条曲线对G01代码的拟合及插补方法, 发明, 2009, 第 4 作者, 专利号: 200910082732.9 科研项目 （ 1 ） 数学机械化方法及其在数字化设计制造中的应用, 参与, 国家级, 2011-01--2015-12 （ 2 ） 数学机械化及其在信息技术中应用, 参与, 国家级, 2012-01--2014-12 （ 3 ） 基于签名的Groebner基算法及其应用, 主持, 国家级, 2014-01--2017-12