姓名：刘伟 性别：男 学历：博士
职称：教授 办公室： 计算机系 隶属部门：教科研办公室
联系方式： **，liuwei_doctor@yeah.net，欢迎2019级研究生联系
个人简介：
博士，教授，博士生导师，山东省优秀硕士学位论文指导教师，主持国家自然科学基金面上项目，山东省自然科学基金面上项目等；获省科技进步奖、青岛市自然科学奖、省优秀博士论文等多项科研奖励。发表论文50余篇，其中第一作者或通讯作者作者SCI、EI检索30余篇；主要研究方向：工作流、服务计算、Petri网理论与应用、软件形式化分析与验证、大数据智能分析与处理。



详细信息:
刘伟教授，博导，博士，计算机科学与技术系，从事工作流、服务计算、Petri网理论与应用、软件形式化分析与验证、大数据智能分析与处理等方面的研究工作。在《Enterprise Information System》、《IEEE Transactions on Systems Man and Cybernetics: Systems》、《Applied Soft Computing》、《Concurrency and Computation: Practice and Experience》、《International Journal of Parallel Programming》、《Journal of Intelligent & Fuzzy Systems》、《计算机学报》、《计算机集成制造系统》等国内外重要学术期刊上发表论文50余篇，SCI、EI检索30余篇；担任多个SCI国际期刊审稿人；参编教材1部。主持参与项目30余项，其中主持国家自然科学基金面上项目1项、山东省自然科学基金面上项目1项、山东省高等学校科技计划项目1项，山东省研究生教育创新计划资助项1项，嵌入式系统与服务计算教育部重点实验室开放课题基金1项，以主要成员（第二、三位）参加973专题、863子课题、国家自然科学基金重大研究计划子项目3项，以主要成员（第三位）参加山东省科技攻关、教育部项目3项，以主要成员（第二位）参与教育部等重点实验室项目3项，其它位次参与国家自然科学基金重点课题、863子课题、省、部、厅、校各级项目19项。荣获10余项省、市厅级奖励，2014年获山东省优秀博士论文奖，有2项科技成果获山东省高等学校优秀科研成果（自然科学类）奖（第一位）、有1项科技成果获山东省研究生优秀科技创新成果奖二等奖（第一位），获山东省科技进步二等奖1项，青岛市自然科学奖二等奖1项，山东软科学优秀成果奖一等奖1项，山东省统计科研优秀科研成果三等奖2项，1项科技成果鉴定为国际先进。指导研究生多人次获得研究生国家奖学金，山东省研究生优秀科技创新成果奖；获山东省优秀硕士学位论文指导教师、山东省优秀学士论文指导教师、山东省研究生优秀科技创新成果奖指导教师等荣誉称号。
发表部分期刊论文
1.Wei Liu, Yuyue Du, Chun Yan. Soundness preservation in composed logical time workflow nets. Enterprise Information System.6(1):95-113. 2012(SCI: 914BL)
2. Wei Liu, Yuyue Du, Mengchu Zhou, Chun Yan. Transformation of Logical Workflow Nets. IEEE Transactions on Systems Man and Cybernetics: Systems. 44(10):1401-1412. 2014. (SCI:AP7TD)
3. Wei Liu, Xin Feng, Yuyue Du, Analytic of B2C E - Commerce Credit Mechanism Mixed Strategy Risk Behavior Based on Logical Game Petri Nets, IEEE Access, 6:29109-29131, 2018. (SCI)
4. Wei Liu, Pin Wang, Yuyue Du, Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes, IEEE ACCESS, 2017, 5:16829 - 16839. (SCI)
5. Wei Liu, Lu Wang, Yuyue Du, Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure, International Journal of Parallel Programming, 45(4):879-898, 2017. (SCI:EZ5PK)
6. Wei Liu, Mao Lin, Yan Chun, Formal Interoperoperability Models of Sensor Networks Based on Logical Workflow Nets. International Journal of Software Engineering and Knowledge Engineering, 29(4), 2019.5.(SCI)
7. Wei Liu, Lu Wang, Soundness Analytics of Composed Logical Workflow Nets, International Journal of Parallel Programming, 2017.9, https://doi.org/10.1007/s10766-017- 0536-8 (SCI).
8. Lei Liu,Wei Liu*,Yuyue Du, Business Process Modeling and Analysis Based on Queue Logical Petri Nets, International Journal of Software Engineering and Knowledge Engineering, 29(1): 115-137, 2019.2.(SCI)
主持或参加科研项目
1.国家自然科学基金项目、**、扩展逻辑Petri网理论及其在跨组织业务过程协同中的应用研究、2015.01-2018.12、85万元、项目负责人
2.山东省自然科学基金、ZR2014FM009、扩展逻辑工作流网理论及其在组织间业务过程协同中的应用研究、2014.12-2017.12、16万元、项目负责人
3.山东省高等学校科技计划项目、J12LN11、逻辑Petri网组合性质及其在分布式协同工作流中的应用、2012.6-2015.12、6万元、项目负责人
4.嵌入式系统与服务计算教育部重点实验室开放基金、ESSCKF201301、分布式Web服务集成形式化模型与分析方法研究、2013-2015、2万元、项目负责人
5.山东省研究生教育创新计划项目、SDYY10018、计算机类工程硕士学位论文质量保障体系研究、2010.7-2012.6、2万元、项目负责人
6.国家自然科学基金项目、**、逻辑Petri网演化推理机制研究及其在服务组合中的应用、2012.01-2015.12、参加（第4位）
7.教育部高等学校博士学科点专项科研基金项目、逻辑Petri网的推理分析技术及其在服务组合中的应用、2012.01-2014.12、12万元、参加（第3位）
8.山东省高等学校科技计划项目、基于虚拟总线的网络环境下协同服务若干关键技术研究、2012.6-2015.12、6万元、参加
9.国家自然科学基金重大研究计划项目、面向电子银行的病态软件行为模型及验证理论研究、2010-2011、12万元、参加
10.山东省科技攻关项目、2008GG**、基于动态工作流的协同软件平台设计与开发、2008.7-2009.12、参加（第3位）
获奖和鉴定成果
1.刘伟，山东省优秀硕士学位论文指导教师，2019
2.刘伟、杜玉越等，分布式协同系统形式化模型及其应用研究，山东高等学校优秀科研成果奖（自然科学类）,2015。
3.刘伟、杜玉越等，Web服务集成形式化建模与分析技术研究.山东高等学校优秀科研成果奖（自然科学类），2013。
4.刘伟，服务组合及其相关技术研究，山东省优秀博士论文，2014。
5.刘伟 等，逻辑Petri网组合性质及其应用研究，山东省学位委员会、教育厅，山东省研究生优秀科技创新成果奖，二等奖，2010。
6.杜玉越、傅游、张鹏、庞善臣、刘伟、曾庆田等，工作流的建模与动态构建技术研究及应用，山东省人民政府，山东省科技进步奖，二等奖，2011。
7.庞善臣、杜玉越、曾庆田、刘伟等，动态工作流的建模理论与方法，青岛市人民政府，青岛市自然科学奖，二等奖，2011。
8.吴洪越、亓亮、栾文静、刘伟、胡强，一种基于逻辑Petri网的Web服务簇组合方法，山东省研究生优秀科技创新成果奖二等奖，2013。
9.贺国平、梁永全、吴哲辉、郑永果、彭延军、刘伟、王向荣、杜玉越、梁向前，构建研究生教育创新平台，培养高素质人才，山东省省级教学成果奖评审委员会，山东省研究生教育省级教学成果奖，二等奖，2009。
10.傅游、杜玉越、花嵘、韩丛英、刘伟，基于有机计算的分布计算系统资源自主管理模型与方法研究，山东省科学技术厅，鉴定达到国际先进水平。