陕西师范大学数学与信息科学学院教授，理学博士学位，理学博士学历.

[研究方向]

先后从事初等数学教育工作及高等数学教育工作二十余年，期间承担并完成了初中数学、高中数学、数学分析、高等代数、点集拓扑学、常微分方程、高等数学、复变函数、实变函数、高等数学复习指导等课堂教学任务及考研辅导工作

[任课情况]

拓扑学

[荣誉成果]

在发表于《中国科学》（E辑）论文《The Theory of generalized tautologies in revised Kleene logic system》中首次提出了可达 -重言式及广义矛盾式理论，进一步深化加强了这一领域的研究成果，在发表于《数学进展》论文《基础 -代数和基础 系统》中建立了基础 -代数和基础 系统，拓宽了这一邻域的研究范围.在发表于《The Journal of fuzzy Mathematics》论文《A kind of simplified formal dedu

[发表论文]

近几年来主编教材一部，在《中国科学》、《数学进展》、《数学研究与评论》、《工程数学学校》、《The Journal of fuzzy Mathematics》等国内、国外学术期刊、杂志上发表学术论文二十余篇