职称：副教授

个人简介：

主要研究领域：软件工程及其形式化方法，工作流技术，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. 横向项目：云计算及其支撑网络

教学情况：

主要讲授《软件工程》