刘烃的个人简介
刘烃，男，西安交通大学自动化系副教授、博士生导师，主要研究智能电网安全和恶意代码分析。
教育经历
2003年 西安交通大学信息工程专业，学士学位；
2010年 西安交通大学系统工程专业，博士学位；
2010年至今西安交通大学自动化系；
2016年-2017年 美国康奈尔大学访问教授。
科研项目
在研项目国家自然科学基金重点项目“基于符号执行的多线程软件系统测试与验证研究”子课题. 基于符号执行的多线程软件系统测试与验证研究.2017-2021
国家自然科学基金面上项目. 多线程程序约束构建、优化求解及其智能测试方法研究. (61472318). 2015.1-2018.12
国家重点研发计划项目"内生安全的主动防御工控系统防护技术研究"子课题. ?脆弱性分析与威胁态势感知技术. 2017-2019
国家重点研发计划项目. 能源互联网的规划、运行与交易基础理论. 2017-2019
霍英东青年教师基金. 智能电网信息-物理融合系统建模与攻击检测方法研究. 2016-2019
西安交通大学基本科研业务费学科综合交叉面上项目. 基于信息物理融合的智能电网数据加密与异常数据检测. 2015.1-2017.12
结题项目国家自然科学基金重点项目. 多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用. (91418205). 2015.1-2016.12
国家自然科学基金集成项目. 可信网络交易软件系统试验环境与示范应用(91218301). 2013.1-2016.12
国家自然科学基金重点项目. 面向国家电子税务系统的可信软件试验环境与示范应用(91118005). 2012.1-2015.12
国家自然科学基金. 基于物理-信息关联分析的智能电网安全检测方法. (61203174).?
2011年度高等学校博士学科点专项科研基金. 智能电网中信息-电力网络攻击的检测方法研究. (20110201120010)
西安交通大学科研项目（综合交叉类）. 智能电网中的节能优化与攻击检测方法研究. 2011.9-2013.8
西安交通大学重点实验室青年学术骨干培植项目. 基于软件缺陷和行为的软件可信性评测方法研究. 2011.5-2012.4
国家自然科学基金培育项目. 可信电子税务网络发票系统试验环境及其实证研究(91018011). 2011.1-2011.12
Cisco URP（大学科研合作项目）. Abnormal Data Detection and Control Actuation Authentication for Smart Grid. 2011-2012
