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