博士 ， 副教授，国家数字化学习工程技术研究中心 辅助学习工具产品室主任。主要研究方向：几何定理自动推理，优化算法设计，智能教育软件开发。目前主要从事面向学科的智能辅助学习工具的算法研究与系统开发工作。作为主持人承担国家自然科学基金项目“有限制条件的几何定理机器证明”和高等学校博士学科点专项科研基金项目“有限制的几何定理机器证明的研究”，并参与国家863项目“知识浓缩与融合关键技术研究”。正在研发的学科工具有“动态几何学习系统”、“中学物理虚拟实验平台”、“中学化学虚拟实验平台”和“中学几何定理自动推理系统”等。