劉華虓

劉華虓，男，博士，現為吉林大學計算機科學與技術學院副教授。

基本介紹

• 中文名：劉華虓
• 畢業院校：吉林大學
• 學位/學歷：博士
• 專業方向：計算機軟體與理論

研究方向

APP商店挖掘、軟體需求工程、軟體形式化方法。

人物經歷

教育經歷

2005.9~2009.6 吉林大學計算機科學與技術學院 本科

2009.9~2011.9 吉林大學計算機科學與技術學院 碩士 導師：金英

2010.8~2011.8 義大利Trento大學 計算機學院 歐盟交流計畫

2011.9~2013.12 吉林大學計算機科學與技術學院 碩博連讀 導師：金英

工作經歷

2017.9～今 吉林大學計算機科學與技術學院 副教授

2013.12～2017.9 吉林大學計算機科學與技術學院講師

科研項目

1、國家重點研發計畫項目，2017YFB1003103、智慧型計算機編程方法、2017/09-2020/08、395萬、在研、參加。

2、吉林省青年科研基金項目，20150520060JH、程式安全性驗證方法研究、2015/01-2017/12、6萬元、在研、主持。

3、吉林省重點科技攻關項目，20130206052GX、雲計算下的編程模型研究、2013/01-2015/12、16萬元、結項、參加。

學術論文

(1) Liu, Yuzhou; Liu, Lei; Liu, Huaxiao (*); Wang, Xiaoyu; Yang, Hongji, Mining domain knowledge from app descriptions , Journal of Systems and Software, 2017.11, 133: 126~144 (CCF B區期刊 通訊作者)

(2) 劉華虓; 劉宇舟; 劉磊 , The verification of program relationships in the context of software cybernetics, Journal of Systems and Software, 2017.02.01, 124(2017): 212~227 (CCF B區期刊)

(3) Yuzhou Liu, Lei Liu, Huaxiao Liu (*), and Xiaoyu Wang, Analyzing Reviews Guided by App Descriptions for the software Development and Evolution, Journal of Software: Evolution and Process, 二審中 (CCF B區期刊 通訊作者)

(4) Yuzhou Liu, Lei Liu, Huaxiao Liu (*), Xinglong Yin, Hongji Yang，App Store Mining for Domain Analysis: Combine App descriptions with user Reviews，IEEE Transactions on Software Engineering，在投

(5).張鵬，劉磊，劉華虓*，金英，Tabular表達式的指稱語義研究，軟體學報2014（06），1212-1224

(6).Huaxiao Liu, Xiang Ji, Lei Liu,Metamodeling for Two-Dimensional Description Logics[J] Chinese Journal of Electronics，2013, 22(2), pp237-241

(7).金英，劉華虓*，張鵬，一種面向方面需求模型的分析與驗證方法[J] 計算機學報 2013, 36(1): 63-73

(8).劉華虓，金英，馬鵬飛，一種需求變更影響分析方法[J] 計算機研究與發展，2013, 50(8)：1769-1777