个人简介

个人背景 教育经历：2003.09-2008.07中国科学院研究生院计算机软件与理论专业硕博连读工学博士1996.09-2000.07西安电子科技大学应用数学专业本科理学学士工作经历：2013.08-至今，电子科技大学，计算机科学与工程学院，副教授2014.08-2015.08，瑞士弗里堡大学，访问学者2008.09-2013.07，电子科技大学，计算机科学与工程学院，讲师2000.07-2008.09，中国科学院成都分院，中科院成都计算机应用研究所，工程师 研究项目 作为第三负责人主持国家863重点项目“初等数学问题求解及关键技术”（2015.01-2017.12,659万）； 主持国家自然科学基金项目“基于本体的认知推理模型及其应用研究”，（2013.01-2015.12,24万）； 主持中央高校基金项目“融合规则推理与本体推理的知识推理及其应用”，（2010-2011，7万）； 主持横向项目“装备多信道存储转换器”，(51万)； 参与自然科学基金1项“基于本体的几何定理机器证明”（2011-2013）； 参与四川省科技厅基金1项“基于科学知识图谱分析的个性化文献推送系统”（2012-2014） 教学工作 [1]矩阵理论（专业选修课）[2]离散数学（学科基础课）[3]形式语言与自动机（学科专业课） 其他信息 [1]论文《三角函数表达式的计算机自动化简》获中国高等教育学会教育数学专业委员会第二次常务理事会优秀论文一等奖；[2]中科院成都分院2006-2007年度“院长优秀奖学金”；[3]2009年度考核优秀，2010年度考核优秀，2012年度考核优秀；[4]2012年获电子科技大学第七届教学成果奖二等奖，排名第4。