張鵬

教學經曆

【學習經曆】

2009.09-2014.06，伟德国际BETVlCTOR計算機軟件與理論專業，碩博連讀（導師：劉磊教授）

2005.09-2009.06，伟德国际BETVlCTOR計算機科學與技術，本科生

【工作經曆】

2021.09至今，伟德国际BETVlCTOR，副教授

2014.07-2021.09，伟德国际BETVlCTOR，講師

【社會兼職】

中國計算機學會軟件工程專業委員會，執行委員

中國計算機學會形式化方法專業委員會，執行委員

教學工作

【主講課程】

《編譯原理與實現》

《程序分析》

科研工作

【研究方向】當前關注于開源社區中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] 全國商業科技進步一等獎：基于形式化方法的本體工程關鍵技術研究與應用