刘华虓
基本情况
姓名: 刘华虓                

undefined

性别:
职称: 副教授
最高学历: 研究生
最高学位: 博士
电话:
Email:
详细情况
所在学科专业: 计算机软件与理论
所研究方向:

APP商店挖掘、软件需求工程、软件形式化方法

讲授课程:

编译原理与实现:

  2014~2018 计算机学院

  2015 软件学院

软件工程工具与应用:

  2016~2018 软件学院

教育经历:

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

吉林大学计算机科学与技术学院 版权所有 © 2017

地址:吉林省长春市朝阳区前进大街2699号吉林大学前卫南区计算机楼 邮编:130012