郭曦 【副教授】
姓名 郭曦 性别
职称 副教授 学位 博士
电话 15071265935 邮箱 xguo AT mail.hzau.edu.cn
工作单位 华中农业大学信息学院
研究方向 信息安全; 软件工程
教育经历

2009.09-2013.06,武汉大学,计算机学院,信息安全,工学博士,指导老师:张焕国(教授)
    2007.09-2009.06,武汉大学,计算机学院,计算机应用技术,工学硕士,指导老师:何炎祥(教授)
    2002.09-2006.06,武汉大学,国际软件学院,软件工程,工学学士

主要职历 2015/12-至今,      华中农业大学,信息学院,计算机科学系,副教授
2014/07-2015/12,华中农业大学,信息学院,计算机科学系,讲师
2013/07-2014/06,华中农业大学,理学院,    计算机科学系,讲师
2012/08-2012/12,美国佐治亚理工学院,计算机科学系,研究助理,指导老师:Alessandro Orso (教授)
科研成果

科研项目:

  1. 国家自然科学基金(青年基金),编号61502194,2016/01-2018/12,主持
  2. 华中农业大学自主科技创新基金(青年教师科技创新专项),编号2662015QC009,2015/01-2016/12,主持
  3. 湖北省自然科学基金(青年基金),编号2014CFB144,2014/06-2015/12,主持
  4. 华中农业大学新进博士科研启动专项,编号2013BQ052,2013/09-2014/12,主持


教学项目:

  1. 华中农业大学校级教学改革研究PPT项目,编号P2015104,2015年,主持


科研论文:

 以第一作者发表学术论文14篇(其中EI检索10篇,ISTP检索1篇,CSCD检索2篇);以通信作者发表EI检索论文1篇;以第四作者发表EI检索论文1篇;以第三作者发表CSCD检索论文1篇。代表论文如下:

  1. 郭曦*,王盼,王建勇,张焕国基于k近邻最弱前置条件的程序多路径验证方法计算机学报,2015,38(11):2203-2214.
  2. 郭曦* ,王盼相关路径静态分析中协同式逆向推理方法软件学报,2015, 26(1):1-13.
  3. 郭曦*,王盼. 基于动态协同双向映射的相似执行路径生成方法电子学报, 2014, 42(11): 2168-2173.
  4. 郭曦,张焕国基于谓词抽象的测试用例约简生成方法通信学报,2012, 33(3): 35-43(+51).


学术奖励:

  1. 武汉大学博士研究生 学术创新奖,三等奖,2013年
  2. 武汉大学博士研究生 国家奖学金,2012年


教学奖励:

  1. 华中农业大学第十二届青年教师讲课竞赛优胜奖,2015年
  2. 华中农业大学信息学院青年教师讲课竞赛, 三等奖, 2015年
备注