1981年9月—1983年7月，在陕西师范大学榆林专修科（现榆林学院）数学系（数学与统计学院）学习；

1983年7月—1987年9月，陕西省横山中学数学教师；

1987年9月—1990年7月，辽宁师范大学数学系硕士研究生，获东北师范大学理学硕士学位，研究方向：一般拓扑学；

1990年7月—1994年2月，山西师范大学数学系任讲师；

1994年2月—1996年12月，四川大学数学学院博士研究生，获理学博士学位，研究方向：locale理论与范畴拓扑学。获四川大学和四川省优秀博士学位论文；

1996年12月—2001年3月，陕西师范大学数学系任副教授，教授；

1999年2月—2001年3月，山东大学数学与系统科学学院博士后（兼职）； 

2004年9月—2005年9月，英国剑桥大学数学中心访问教授。

1997年7月晋升副教授，2000年12月破格晋升教授，2001年6月聘为博士生导师；

在Locale理论中的极限构造和实值连续函数环理论的研究中，创造性地解决了Isbell问题和Gelfand-Kolgormov定理的构造性证明等多个著名的公开问题。其构造性方法被国内外同行学者多次采用，获得了国内外多名著名数学家的高度评价。曾应邀访问了美、英、法和比利时等国家多所著名大学，并多次在国际学术会议上作大会报告。

曾主持和参加国家自然科学基金青年项目、面上项目以及国家自然科学基金重点项目6项。