教师详细信息

姓名:  张鹏 性别:  男
学历:  博士 职称:  副教授
办公室:  13-411 隶属部门:  计算机科学与技术系
联系方式:  13789879289
个人简介:  
    博士,一直从事Petri网理论与应用、并发模型与算法、并行程序验证等方面的研究工作,研制了PVM并行程序验证系统、控制系统计算机辅助设计与分析系统。
详细介绍:

个人简介

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

 研究方向
  • Petri网理论与应用
  • 个性化信息服务
  •  工作流
  •  服务计算
  •  并发模型与算法

科技奖励

  • 201111月项目“工作流的建模与动态构建技术研究及应用”获山东省科技进步二等奖,第三位
  • 20029月项目“机群网络系统的模型与算法研究”获山东省自然科学三等奖, 第六位

科研项目

  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号山东科技大学信息学院