职称：副教授

个人简介：

主要研究领域：软件工程及其形式化方法，工作流技术，Web服务与云计算

科研成果：

论文：

1. Pi+演算及其对Petri网的描述

2.复杂分支和同步模式的Pi演算描述

3.用Pi演算为业务过程建模的生命周期

4. Web服务的Pi演算描述

5. Petri网和Pi演算模型的表达能力

软件著作权：

1．流程生产线可信评估工具系统

2．度量建模工具系统

3．服务组合流程建模工具系统

申请专利：

1.基于Pi演算的分布式流程验证系统及方法

2.流程管理生产线软件度量建模的系统及方法

3.对生产线中的BPM构件可信评估的系统及方法

科研项目：

1. 863重点项目：面向流程管理的软件生产线，

2. 863计划子项目：嵌入式软件B方法需求描述与转换方法研究及工具开发

3.国家科技重大专项专题：集成化中间件套件产品研发及产业化

4.西北大学项目：软件工程的形式化方法。

5.横向项目：B2AA软件系统的开发与测试

6.横向项目：云计算及其支撑网络

教学情况：

主要讲授《软件工程》