西北大学 信息科学与技术学院 副教授/硕士生导师

陕西省计算机协会软件专委会秘书长，西安软件行业协会副理事长

西安软件园高级顾问，索创实训中心

研究方向：

软件工程，软件测试理论、工具及环境，工作流技术，计算机辅助教学

科研成果：

2007年2月在《计算科学》发表“论有穷状态验证方法的局限性”论文，核心级

2007年4月在《西北大学学报》发表“ 信牌驱动工作流模型中的协同问题”论文，核心级

2004年9月在《计算科学》发表“ 基于服务质量的网格工作流算法优化”论文，核心级

2007年5月在《计算机应用与软件》发表“ 软件便更度量”论文，重要级

2007年7月在《计算机应用研究》发表“面向对象软件中类内聚度量分析与研究”论文，重要级

2005年5月在《 计算机工程》发表“基于Schnorr算法的多重数字签名方案”论文，重要级

科研项目:

2005年1月至2006年12月主持西安市科技局西安市信息技术专项项目“软件缺陷管理和度量系统的开发”，项目编号zx06028，属纵向项目

2004年1月至2005年12月主持西安市科技局科技攻关项目“面向中小企业的软件开发过程支撑环境的研究”， 属纵向项目

2004年5月至2005年7月主持 国家“863”计划子课题项目“测试用例库系统的研究与应用”，属纵向项目

2003年1月至2003年12月主持国家“863”计划子课题项目“Web环境下的软件测试研究”，属纵向项目

2002年1月至2003年12月主持 西安协同软件项目“工作流管理系统的研究”，属横向项目