职称

副教授

学位

博士

政治面貌

中共党员

邮箱

xguo AT mail.hzau.edu.cn

工作单位

bat365官网登录入口bat365官网登录入口

研究方向

信息安全; 软件工程

教育经历

2009.09-2013.06，武汉大学，计算机学院，信息安全，工学博士，指导老师：张焕国（教授）

2007.09-2009.06，武汉大学，计算机学院，计算机应用技术，工学硕士，指导老师：何炎祥（教授）

2002.09-2006.06，武汉大学，国际软件学院，软件工程，工学学士

主要职历

2015/12-至今， bat365官网登录入口，bat365官网登录入口,计算机科学系，副教授

2014/07-2015/12，bat365官网登录入口，bat365官网登录入口,计算机科学系，讲师

2013/07-2014/06，bat365官网登录入口，理学院, 计算机科学系，讲师

2012/08-2012/12，美国佐治亚理工学院，计算机科学系，研究助理，指导老师：Alessandro Orso （教授）

科研成果

科研项目：

1. 国家自然科学基金（青年基金），编号61502194，2016/01-2018/12，主持

2. bat365官网登录入口自主科技创新基金(学科交叉研究专项)，编号2662018JC028，2018.1-2020.12，主持
   

3. bat365官网登录入口自主科技创新基金（青年教师科技创新专项），编号2662015QC009，2015/01-2016/12，主持

4. 湖北省自然科学基金（青年基金），编号2014CFB144，2014/06-2015/12，主持

5. bat365官网登录入口新进博士科研启动专项，编号2013BQ052，2013/09-2014/12，主持

教学项目：

1. bat365官网登录入口校级教学改革研究PPT项目，编号P2015104，2015年，主持

科研论文：

以第一作者发表学术论文14篇（其中EI检索10篇，ISTP检索1篇，CSCD检索2篇）；以通信作者发表EI检索论文1篇；以第四作者发表EI检索论文1篇；以第三作者发表CSCD检索论文1篇。代表论文如下：

1. 郭曦*,王盼. 基于依赖条件重构的程序符号值分析方法. 电子学报，2019,47（3）:630-635.

2. 郭曦*,王盼. 程序状态条件合并中变量隐式关联分析方法. 计算机研究与发展, 2018, 55(10): 2331-2342.

3. 郭曦*,王盼. 基于变量符号关联分析的程序状态优化方法. 通信学报，2018,39(6):81-88.
   

4. 郭曦^* ,王盼. 相关路径静态分析中协同式逆向推理方法. 软件学报,2015, 26(1):1-13.

5. 郭曦^*,王盼，王建勇，张焕国. 基于k近邻最弱前置条件的程序多路径验证方法. 计算机学报,2015,38(11):2203-2214.
   

6. 郭曦^*,王盼. 基于动态协同双向映射的相似执行路径生成方法. 电子学报, 2014, 42(11): 2168-2173.

7. 郭曦,张焕国. 基于谓词抽象的测试用例约简生成方法. 通信学报,2012, 33(3): 35-43(+51).

学术奖励:

1. 武汉大学博士研究生 学术创新奖，三等奖，2013年

2. 武汉大学博士研究生 国家奖学金，2012年

教学奖励:

1. bat365官网登录入口第十二届青年教师讲课竞赛优胜奖，2015年

2. bat365官网登录入口bat365官网登录入口青年教师讲课竞赛, 三等奖, 2015年

备注