个人简介

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