个人简介

教育背景： 博士后2004年6月~2007年6月西北工业大学计算机科学与技术流动站 博士研究生2000年2月~2004年6月西安电子科技大学计算机应用技术 硕士研究生1994年9月~1997年7月南京大学计算数学 大学本科1990年9月~1994年7月南京大学计算数学 工作履历： 起止时间工作单位从事何种专业技术工作职称/职务 1997.7-2000.1西安大唐电信有限公司软件工程部门经理 2005.1~2005.10国际软件技术研究所（UNU/IIST）（澳门）对象及构件形式化方法Fellow 2007.8-2013.1山东省科学院自动化研究所软件工程副研究员/山东省汽车电子重点实验室副主任 2013．2-目前西安科技大学计算机学院软件工程副教授 讲授课程： 先后讲授了：《网络化嵌入式软件开发概论》、《数据库与管理信息系统》、《数据库及应用（VFP）》、《数据库及应用》、《操作系统》、《移动程序开发》 学术成果： 获得1项实用新型专利、5项软件著作权。 2004年起发表第一作者论文20篇、第二作者论文5篇，其中SCI检索2篇，EI检索12篇。2006年以来，支持各类项目7项，参与4项。