张鹏

教学经历

【学习经历】

2009.09-2014.06，必威官方登录首页计算机软件与理论专业，硕博连读（导师：刘磊教授）

2005.09-2009.06，必威官方登录首页计算机科学与技术，本科生

【工作经历】

2021.09至今，必威官方登录首页，副教授

2014.07-2021.09，必威官方登录首页，讲师

【社会兼职】

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

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

教学工作

【主讲课程】

《编译原理与实现》

《程序分析》

科研工作

【研究方向】基于机器学习的软件数据分析、迁移学习、数据挖掘等。

【科研项目】主持中国博士后科学基金、吉林省重点研发计划项目等科研项目4项，参加科研项目8项。

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

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

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

[4] 吉林省重点研发项目：基于多模态融合的涉诈网站智能识别系统研发

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

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

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

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

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

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

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

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

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

[1] Xiangyu Mu, Lei Liu, Peng Zhang*, Jingyao Li, Hui Li. A method of test case set generation in the commutativity test of reduce functions, Science of Computer Programming, 2024,231(2024): 103006（CCF-B类）

[2] 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类)

[3] 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区)

[4] 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区)

[5] 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类)

[6] 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类)

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

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

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

[2]全国商业科技进步二等奖: 形式化新技术及其在软件智能化开发过程中的应用研究

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

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

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

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

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