基本情况 |
姓名: |
张鹏 |
|
性别: |
男 |
职称: |
副教授 |
办公: |
吉林大学王湘浩楼B230室 |
邮箱: |
zhangpengccst@jlu.edu.cn |
QQ: |
809348397 |
电话: |
13756672262 |
教学经历
【学习经历】
2009.09-2014.06,皇冠新二手机登录网址计算机软件与理论专业,硕博连读(导师:刘磊教授)
2005.09-2009.06,皇冠新二手机登录网址计算机科学与技术,本科生
【工作经历】
2021.09至今,皇冠新二手机登录网址,副教授
2014.07-2021.09,皇冠新二手机登录网址,讲师
【社会兼职】
中国计算机学会软件工程专业委员会,执行委员
中国计算机学会形式化方法专业委员会,执行委员
教学工作
【主讲课程】
《编译原理与实现》
《程序分析》
科研工作
【研究方向】当前关注于开源社区中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] 全国商业科技进步一等奖:基于形式化方法的本体工程关键技术研究与应用