1959年6月生，汉族，博士研究生，教授(硕导)，全国多值逻辑学术委员会委员。主要从事拓扑学、高等数学的教学，先后主持和参与完成国家自然科学基金项目1项、省级项目1项；在《中国科学》、《数学进展》、《数学研究与评论》、《工程数学学报》、《The Journal of fuzzy Mathematics》等国内、国外学术期刊、杂志上发表学术论文四十余篇； 其中在发表于《中国科学》（E辑）论文《The Theory of generalized tautologies in revised Kleene logic system》中首次提出了可达-重言式及广义矛盾式理论，进一步深化加强了这一领域的研究成果，在发表于《数学进展》论文《基础-代数和基础系统》中建立了基础-代数和基础系统，拓宽了这一邻域的研究范围.在发表于《The Journal of fuzzy Mathematics》论文《A kind of simplified formal deductive system for the system 》中简化并完善了著名的模糊命题演算的形式演绎系统。 近几年来主编教材一部，负责开发制作陕西省省级精品课一门《拓扑学基础》。
研究方向： 格上拓扑学与非经典逻辑