教学经历

【学习经历】

2009.09-2014.06，太阳成集团tyc4633(中国)有限公司-百度百科计算机软件与理论专业，硕博连读（导师：刘磊教授）

2005.09-2009.06，太阳成集团tyc4633(中国)有限公司-百度百科计算机科学与技术，本科生

【工作经历】

2021.09至今，太阳成集团tyc4633(中国)有限公司-百度百科，副教授

2014.07-2021.09，太阳成集团tyc4633(中国)有限公司-百度百科，讲师

【社会兼职】

中国计算机学会软件工程专业委员会，执行委员

中国计算机学会形式化方法专业委员会，执行委员

教学工作

【主讲课程】

《编译原理与实现》

《程序分析》

科研工作

【研究方向】当前关注于开源社区中issue的分析与处理，涉及的技术主要包括：机器学习、自然语言处理、程序分析、数据挖掘等。

【科研项目】主持中国博士后科学基金项目等科研项目3项，参加科研项目8项。

[1] 国家重点研发计划项目：智能计算机编程方法

[2] 国家自然科学基金项目：本体演化中若干问题的研究

[3] 中国博士后科学基金项目： 云环境下编程模型的语义一致性问题研究

[4] 吉林省重点科技攻关项目：云环境下的编程模型研究

[5] 吉林省自然科学基金项目：面向大数据的知识表示和推理方法研究

[6] 吉林省自然科学基金项目：云环境下SaaS的安全问题研究

[7] 吉林省教育厅科学技术项目：基于Tabular表达式的蜕变测试方法研究

[8] 技术开发项目： 无线电波传播模型可视化预测系统

[9] 技术开发项目：具备平台自适应性的SIMD编译优化系统的设计与开发

[10] 技术开发项目：无线电管理领域知识库数据录入及测试

[11] 技术开发项目：山西省监测站管理与覆盖分析系统

【科研论文】在国内外期刊和会议上发表学术论文30余篇，部分代表性学术论文：

[1] Jingyao Li, Lei Liu, Peng Zhang*. Tabular-Expression-based Method for Constructing Metamorphic Relations, Software: Practice and Experience, 2020, 50(8): 1345-1380. (中科院3区, CCF-B类)

[2] Junqi Ren, Lei Liu, Peng Zhang*, Wenbo Zhou. A Method of Automatically Evolving Feature Models of Software Product Lines, IEEE Access, 2019, 7: 39253-39272. (中科院2区)

[3] Wenbo Zhou, Lei Liu, Shuai Lü, Peng Zhang*. Toward Formal Modeling and Verification of Resource Provisioning as a Service in Cloud, IEEE Access, 2019, 7: 26721–26730. (中科院2区)

[4] Wenbo Zhou, Lei Liu, Peng Zhang*, Shuai Lü, Jingyao Li. SDAC: A Model for Analysis of the Execution Semantics of Data Processing Framework in Cloud. Computer Languages, Systems & Structures, 2018: 54: 406-426. (中科院3区, CCF-C类)

[5] Peng Zhang, Lei Liu, Rui Zhang, Guangli LI. Loss evaluation analysis of illegal

attack in SCSKP, Soft Computing, 2017, 21(2): 515-524. (中科院3区, CCF-C类)

[6] 张鹏, 刘磊, 刘华虓, 金英. Tabular表达式的指称语义研究, 软件学报, 2014,25(6): 1212-1224. (CCF中文-A类)

【科研获奖】获得全国商业科技进步一等奖3项，吉林省自然科学学术成果奖二等奖1项，吉林省科学技术进步三等奖2项。

[1]全国商业科技进步一等奖：形式化新方法及其在云计算中的应用

[2]吉林省自然科学学术成果奖二等奖：本体演化相关问题的分析研究

[3] 吉林省科学技术进步三等奖：本体工程技术及其应用研究

[4] 全国商业科技进步一等奖：形式化新方法与新技术及其在软件需求工程中的应用

[5] 吉林省科学技术进步三等奖：高可信软件的安全开发与验证方法及其应用

[6] 全国商业科技进步一等奖：基于形式化方法的本体工程关键技术研究与应用