生于1973年3月，男，博士，副教授，硕士生导师。毕业于西北工业大学计算机科学与技术专业。2013年10月-2014年10月在美国圣何塞州立大学Charles W. Davidson College of Engineering从事访问研究。近年来讲授本科生课程3门（中/英），硕士生课程1门，参与编著教材和专著4本，在重要学术期刊和会议上发表学术论文30余篇。省级精品课程负责人，参与教育部大学计算机教学改革项目1项。主持或参与“十一五”国家科技支撑计划子课题2项，省自然基金1项，航天支撑基金1项，民机科研1项，国防基础研究子课题1项，横向课题20余项。申请软件著作权4项，获国家教学成果二等奖1项，省教学成果一等奖1项，省部级科技进步一等奖1项，三等奖1项。研究方向为软件形式化理论、软件工程、移动云/大数据服务计算等。2016年任xg111net代理商副院长。

分管工作：负责xg111net代理商科研、保密、产学研合作、安全生产、国有资产管理工作。

联系方式：029-88431511