软件工程
刘华虓
基本情况
姓名: 刘华虓                
性别:
职称: 讲师
最高学历: 研究生
最高学位: 博士
电话:
Email:
详细情况
所在学科专业: 计算机软件与理论
所研究方向: 软件需求工程、软件形式化方法、软件控制论
讲授课程: 编译原理与实现:(课程链接
2014.9~2014.12 计算机学院
2015.3~2015.6 软件学院
教育经历: 2005.9~2009.6 吉林大学计算机科学与技术学院 本科
2009.9~2011.9 吉林大学计算机科学与技术学院 硕士 导师:金英
2010.8~2011.8 意大利Trento大学 计算机学院 欧盟交流计划
2011.9~2013.12  吉林大学计算机科学与技术学院 硕博连读 导师:金英
工作经历: 2013.12~今  吉林大学计算机科学与技术学院
科研项目: 1、吉林省青年科研基金项目,20150520060JH、程序安全性验证方法研究、2015/01-2017/12、6万元、在研、主持。
2、吉林省重点科技攻关项目,20130206052GX、云计算下的编程模型研究、2013/01-2015/12、16万元、在研、参加。
3、国家自然科学基金面上项目,60873044、本体演化中若干问题的研究、2009/01-2011/12、32万元、已结题、参加。
4、国家高技术研究发展计划(863课题),2007AA01Z123、面向方面的文档驱动需求工程技术研究、2007/09-2009/12、88万元、已结题、参加。
5、国家自然科学基金面上项目,60603031、携带模型代码MCC方法中的几个关键问题研究、2007/01-2009/12、25万元、已结题、参加。
学术论文: 1.Huaxiao Liu, Xiang Ji, Lei Liu,Metamodeling for Two-Dimensional Description Logics[J] Chinese Journal of Electronics,2013, 22(2), pp237-241
2.金英,刘华虓*,张鹏,一种面向方面需求模型的分析与验证方法[J] 计算机学报 2013, 36(1): 63-73
3.刘华虓,金英,马鹏飞,一种需求变更影响分析方法[J] 计算机研究与发展,2013, 50(8):1769-1777
4.张鹏,刘磊,刘华虓*,金英,Tabular表达式的指称语义研究,软件学报2014(06),1212-1224
5.Huaxiao Liu, Yuzhou Liu, Lei Liu, The verification of program relationship relaying on software behavior model in the context of software cybernetics,Journal of Systems and Software 在投

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

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