个人简介

 博士,一直从事Petri网理论与应用、并发模型与算法、并行程序验证等方面的研究工作，研制了PVM并行程序验证系统、控制系统计算机辅助设计与分析系统。2006年8月毕业于同济大学，获得博士学位。作为主要成员参加多项国家863、973计划项目、国家自然科学基金重大研究计划、国家自然科学基金项目、山东省科技攻关项目等的研究工作。

 研究方向

• Petri网理论与应用

• 个性化信息服务

•  工作流

•  服务计算

•  并发模型与算法
  

科技奖励

• 2011年11月项目“工作流的建模与动态构建技术研究及应用”获山东省科技进步二等奖，第三位

• 2002年9月项目“机群网络系统的模型与算法研究”获山东省自然科学三等奖， 第六位

科研项目

1. 国家自然科学基金(No. 61170078)：逻辑Petri网演化推理机制研究及其在服务组合中的应用，2012.01-2015.12， 项目主要成员。

2. 国家自然科学基金(No. 60773034)：逻辑Petri网理论及其合成运算性质研究，2008.01-2010.12， 项目主要成员。

3. 国家自然科学基金(No. 60573018)：基于Petri网的电子商务系统形式化分析与验证技术研究，2006.1-2006.12，项目主要成员。

4. 国家973计划课题（No. 2010CB328101）：信息服务的过程范式理论，2010.01-2014.12，项目主要成员

5. 山东省科技攻关项目（No. 2008GG30001024）：基于动态工作流的协同软件平台设计与开发, 2008.7-2009.12 项目主要成员。

6. 国家自然科学基金项目（No.61272093）：可重写Petri网理论及在大规模动态分布式系统中的应用 2013.1-2016.12，项目主要成员。

7. 国家自然科学基金重大研究计划项目（No.91018007）：面向电子商务服务的可信软件关键技术及集成方案研究2011.1-2011.12， 项目主要成员。

发表论文
 

   在《高技术通讯》、《系统仿真学报》、《计算机科学》等核心期刊发表论文十余篇，其中EI 索引多篇, 作为副主编编写教材二部。

联系方式

 Email：bigbigroc@163.com

Tel：13789879289

通信地址：青岛经济技术开发区前湾港路579号山东科技大学信息学院