1986年7月毕业于西北大学计算机科学系，获理学学士学位；1989年7月毕业于西北大学应用软件专业，获工学硕士学位；2006年7月毕业于西北大学计算机软件与理论专业，获工学博士学位。1989年7月至今，在西安邮电大学任教，现担任中国计算机学会软件工程专业委员会委员，中国计算机学会教育专业委员会委员，全国高等学校计算机教育研究会理事，陕西省计算机教育学会副理事长。2011年被评为第七届“陕西普通高等学校教学名师” ,2007年被评为陕西省优秀教师。西安邮电大学“可信软件”科研团队学术带头人。

     多年从事计算机软件方面的教学和科研工作，热爱党的教育事业，治学严谨，并坚持在教育理念上不断创新与改革。主讲数据结构、编译原理等主干课程。2014年主持陕西省软件工程专业综合改革项目。软件工程专业核心课程省级教学团队负责人，软件工程创新创业培养模式省级试验区负责人。主持的“数据结构”课程获2016年陕西省MOOC建设立项， 主编的《数据结构与算法》获2016陕西省优秀教材一等奖。2014年主持的“高级语言程序设计”被评为陕西省精品资源共享课程； 2009年主编的《C语言程序设计》（第二版）获中国科学院教材建设专家委员会信息技术类优秀教材（部级）一等奖。

     目前主要从事软件测试和智能信息处理等方面的研究。现主持2015陕西省自然基金项目“错误注入测试的软件可靠性评估模型研究”。主持并完成中国航空工业集团公司西安飞机设计研究所横向项目“型号设计软件固化及有效控制技术研究与应用”；主持并完成2010年国家自然科学基金项目“基于群体智能的软件测试优化关键问题研究”。主持的“基于群体智能的组合软件测试关键技术及应用”2014年获得陕西省科学技术奖三等奖,“基于Windows的软件测试平台”2012年获得陕西省科学技术奖三等奖。申请软件测试方面国家专利5项，“一种测试用例集缩减方法”2010年获国家发明专利授权，“一种两两覆盖组合软件测试用例集生成方法”2014年获国家发明专利授权。2013年由科学出版社出版专著《计算智能与组合软件测试优化》。2013年赴加拿大作为访问学者；2005年赴加拿大参加IEEE ICMA国际学术会议并发表演讲；2007年赴德国莱比锡电信学院进行教师交流。多年来，在核心期刊及其它学术期刊上发表学术论文40多篇，教材及译著10部，软件著作权5项。

主要讲授《数据结构》、《高级语言程序设计》等理论课程，现主要从事数据挖掘、软件测试和智能信息处理等方面研究。

主要讲授《高级语言程序设计》、《数据结构》和《编译原理》理论课程，现主要从事数据挖掘、软件测试和智能信息处理等方面研究。

1999年西北大学毕业，获得学士学位，2005年西安电子科技大学毕业，获计算机计算机科学与技术硕士学位。1999年9月进入西安邮电学院计算机系从事软件测试、操作系统等方面的教学与科研项目。参与的项目主要有：国家自然科学基金重大研究计划项目“用于系统芯片验证的证明引擎研究”，西安市科技创新支撑―应用发展研究计划“基于Windows的软件测试平台”，院内重点项目“软件工程人才培养模式的研究”。

主要讲授《数据结构》、《编译原理》和《软件工程导论》等理论课程，现主要从事数字图像处理、数据挖掘和智能信息处理等方面研究。

曾主讲过《数据结构》、《数据结构与算法》、《编译原理》、《算法设计与分析》、《操作系统》、《软件工程》、《数据库原理与设计》、《高级语言程序设计》等课程。从教三十多年来，曾获部级“优秀青年教师”称号、获部级科技进步二等奖两项、获陕西省优秀教学成果奖三项、获学校教学、科研奖十余项；主持或参与陕西省教育厅、教育部教育教学改革及科研项目多项。先后担任西安邮电大学信息中心副主任、教务处副处长、教师发展中心副主任、高等教育研究所所长等职务。

主要讲授《高级语言程序设计》、《数据结构》等理论课程，现主要从事数据挖掘，智能信息处理等方面研究。

西安邮电大学计算机学院软件工程系主任，软件工程专业负责人，“软件工程”陕西省精品资源共享课程负责人，主讲课程：软件工程、操作系统、数据结构。主要研究方向：软件工程，形式化验证技术