您当前位置: 首页  >  团队队伍  >  教研室  >  软件理论与技术

软件理论与技术

张鹏

基本情况

姓名:

张鹏


性别:

职称:

副教授

办公:

西汉姆联必威登录王湘浩楼B230

邮箱:

zhangpengccst@jlu.edu.cn

QQ

809348397

电话:

13756672262

 

教学经历

【学习经历】

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] 全国商业科技进步一等奖:基于形式化方法的本体工程关键技术研究与应用