个人简介 教育经历: 2000/09 – 2003/07,中国科学院,数学与系统科学研究院数学机械化重点实验室理学博士 科研成果: 国家自然科学基金面上项目,61075037、PnP问题解的几何分布及其数学机械化方法、2010/01-2013/12