信息物理融合系统

大数据与人工智能安全

智能软件工程

2003年西安交通大学电信学院信息工程，本科；

2010年西安交通大学电信学院系统工程，博士；

2016-2017年美国康奈尔大学访问教授；

2010至今，西安交通大学讲师、副教授、教授（青拔A）。

国家自然科学基金面上项目.基于信息物理融合的电网数据完整性攻击检测方法. 2018-2021

国家自然科学基金重点项目. 基于符号执行的复杂软件系统分析与验证. 2017-2021

南方电网重点科技项目. 数字电网信息物理综合安全纵深防御体系关键技术研究与应用. 2020-2022

MSRA Collaborative Research Grant. Automated Test Case Generation from User Review for Mobile Applications.

在TSE、TIFS、ICSE、FSE、ASE、ISSTA、INFOCOM等CCF A类期刊和会议上发表论文30余篇，获得2019 IEEE INFOCOM等会议最佳论文奖5项，代表性著作：

[1].   刘烃, 田决, 王稼舟, 吴宏宇, 孙利民, 周亚东, 沈超, 管晓宏. 信息物理融合系统综合安全威胁与防御研究. 自动化学报, 45(1), 5-24, 2019.

[2].   范铭, 刘烃, 刘均, 罗夏朴, 于乐, 管晓宏. 安卓恶意软件检测方法综述. 中国科学: 信息科学, 50(8), 1148-1177, 2020.

[3].   M. Fan, J. Liu, X. Luo, K. Chen, T. Chen, Z. Tian, X. Zhang, Q. Zheng, T. Liu. Frequent Subgraph based Familial Classification of Android Malware. IEEE International Symposium on Software Reliability Engineering (ISSRE). Ottawa, Canada, October, 2016. (Best Paper Award)

[4].   J. Tian, R. Tan, X. Guan, T. Liu. Hidden Moving Target Defense in Smart Grids. IEEE CPSWEEK CPSR-SG. Pittsburgh, US. April, 2017. (Best Paper Award)

[5].   C. Zhao, Z. Li, T. Liu, H. Ding, J. Han, W. Xi, R. Gui. RF-Mehndi: A Fingertip Profiled RF Identifier. IEEE International Conference on Computer Communications (INFOCOM). Paris, France, 2019. (Best Paper Award)

科技奖励

[1].   2017年国家科技进步二等奖. 税务大数据计算与服务关键技术及其应用. （排名第3）

[2].   2018年教育部自然科学二等奖. 信息物理融合系统异常行为检测理论与方法. （排名第1）

[3].   2015年教育部科技进步一等奖. 国家税务大数据计算与服务关键技术及其应用. （排名第3）

[4].   2013年陕西省科技进步一等奖. 多源关联、多粒度网络安全监控与防卫系统. （排名第6）

人才奖励

2018，国家级青年人才奖励计划

2020，NASAC青年软件创新奖，CCF系统软件专委&软件工程专委

2018，西安市科技领域-西安之星，中共西安市委