研究方向 机器证明,孤子理论,模式识别
个人简介
主要研究方向:计算复杂性与符号计算、机器证明、孤子理论、模式识别等。 1990年西北大学数学系学士毕业,2001年、2005年华东师范大学计算机科学技术系硕士和博士毕业,2010年美国明尼苏达大学留学访问一年。目前从事教学和科研工作,同时承担陕西师范大学“211工程”与学科建设处的管理工作。曾获陕西省科技进步二等奖,陕西省高等学校科技进步一等奖,博士论文入选2006年上海市百篇优秀博士学位论文。主持和参与国家自然科学基金面上项目多项,主持中央高校专项资金项目1项,主持完成中国博士后基金项目、陕西省自然科学基金面上项目和专项基金项目各1项,作为主要参加者完成教育部博士点项目2项,上海市曙光计划项目1项;近年来在核心及以上刊物发表学术论文40余篇,其中SCI源刊22篇,EI检索 2篇。
Copyright © 2018 宁夏回族自治区生产力促进中心 版权所有 宁ICP备11000235号-3 宁公网安备 64010402000776号