姓名：李晓红

性别：女

学历/学位：博士研究生/工学博士

职称：教授

所在院系/专业：网络安全学院

2002.9-2005.8   天津大学计算机科学与技术系 博士

1996.9-1999.3  天津大学计算机科学与技术系 硕士

可信软件理论与验证问题

1. 程序循环分析与总结

2. 基于博弈论的安全路由决策

3. 基于知识图谱的软件缺陷预测

4. 软件安全形式化建模与验证

5. 安全需求工程---安全需求保障体系与评估

6. 软件安全测试方法与可信属性评估

7. 软件安全评估与软件体系安全性评估

网络安全问题

1. 物联网安全协议分析与测评

2. WEB软件安全行为分析、检测与评估

3. 网络攻防与软件可信性问题

4. 网络安全协议建模、设计与验证

5. 密码安全协议分析与设计

移动安全问题

1. 移动互联网安全行为检测与分析

2. 移动端安全关键技术研究

3. 移动安全协议的形式化分析与验证

物联网安全问题

1. 物联网安全关键技术研究

2. 传感器网络安全问题分析与验证

主要从事计算机科学及计算机应用、软件工程及安全软件工程、可信软件及网络安全等信息安全领域的研究工作。

主持和参与科技部“863”计划、国家重大研究计划，国家基金重点、天津市重点等项目20余项，发表重要期刊和会议论文100余篇。在顶级会议和期刊发表论文23篇，其中：CCF A类或SCI一区8篇（TSE2017、JIOT2018、FSE2016、AAAI2017、FSE2017、IJCAI2017、IEEE S&P 2015、IEEE S&P2016），CCF B类9篇（ISSTA2016、ECAI2016，ICSME2017、SANER2017、ICWS2017、ICWS2018、AAMAS2018、ICSOC 2018），JCR一区2篇，SCI二区2篇、SCI三区2篇，论文“Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis”解决了符号执行中循环处理的难题，被软件工程顶级会议FSE 2016接收，并获得ACM SIGSOFT 2016年度杰出论文奖。曾获授权国家发明专利13项，获湖北省科技进步一等奖1项，天津科技进步三等奖1项。指导博士生获得天津大学优秀博士论文，硕士研究生连续三年获得天津市优秀硕士学位论文。

近年来，与新加坡国立大学、南洋理工大学、澳大利亚国立大学、加拿大埃德蒙顿大学紧密合作，致力于安全软件工程、可信软件及信息安全领域的研究工作，担任相关领域国际会议程序委员会委员、执委会委员，软件工程、信息安全相关领域国际期刊、国际会议审稿专家。

项目：

1.泛在接入条件下移动应用安全关键技术研究，国家基金面上项目，负责人，77.5万，2016.1-2019.12

2.基于机器学习的软件缺陷数据安全等级划分，北方工业大学，2017.10.01-2019.09.30

3.安全协议自动验证技术服务与工具开发, 中国移动通信有限公司研究院，2017.12.08-2018.12.31

4.循环和递归的分析方法研究，国家自然科学基金重点项目（61872262），负责人，65万，2019.1-2022.12

论文：

1. A Software Defined Network-Based Security Assessment Framework for CloudIoT.

Zhuobing Han, Xiaohong Li, Keman Huang, Zhiyong Feng. IEEE Internet of Things Journal,2018

2. DeepWeak: Reasoning common software weaknesses via knowledge graph embedding.

Zhuobing Han, Xiaohong Li, Hongtao Liu, Zhenchang Xing, Zhiyong Feng. IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER),2018

3. The Dynamics of Opinion Evolution in Gossiper-Media Model with WoLS-CALA Learning.

Chengwei Zhang, Xiaohong Li, Jianye Hao, Sandip Sen, Wanli Xue, Zhiyong Feng. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS '18).

4. An efficient approach for verifying automobile distributed application systems on timing property.

Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng,Jinyun Xue, Shaoying Liu. 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)

5. SCC-rFMQ learning in Cooperative Markov Games with Continuous Actions.

Chengwei Zhang, Xiaohong Li, Jianye Hao*, Karl Tulys, Siqi Chen. Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018): 2018

6. Seamless Integration of Cloud and Edge with a Service-Based Approach.

Shouli Zhang, Chen Liu, Yanbo Han, Xiaohong Li. 2018 IEEE International Conference on Web Services(ICWS 2018)

7. A Service-Based Declarative Approach for Capturing Events from Multiple Sensor Streams.

Zhongmei Zhang, Chen Liu, Xiaohong Li, Yanbo Han. Service-Oriented Computing - 16th International Conference(ICSOC 2018)

8. A Declarative Service based Method for Adaptive Aggregation of Sensor Stream.

Zhongmei Zhang, Chen Liu, Xiaohong Li, Yanbo Han, Chen Lv, Weilong Ding. IEEE Access 2018

社会兼职：

教育部学位与研究生教育发展中心学位论文评审、学科建设和评估咨询专家 ；

教育部科技评价与评审专家、国家科技奖励评审专家；

全国高等学校计算机教育研究会 常务理事；

计算机学会高级会员，ACM会员、中国计算机学会女工委委员；

软件工程专委会委员、形式化专委会委员;

日本北陆科学技术大学院大学(JAIST)客座教授；

《计算机学报》、《软件学报》、《计算机研究与发展》等杂志审稿专家；

软件工程、信息安全相关领域国际期刊、国际会议审稿专家，例如TSE,ICSE,SANER,ICFEM,ICECCS,APSEC,PRDC；

智能与计算学部学位委员会委员、学科建设委员会成员、教学指导委员会委员；

学术交流：

1.  与新加坡国立大学软件工程研究所建立深层次合作2.  与新加坡国立大学信息安全研究所建立合作关系
3.  与新加坡南洋理工大学信息安全研究所建立深层次合作关系
4.  邀请软件工程领域的国际知名专家程京德教授、刘少英教授来校讲座与交流。
5.  邀请软件工程、信息安全领域青年专家梁振凯、孙军、刘杨等来校交流与合作项目。

办公地址：天津大学北洋园校区55教学楼

电子邮箱：xiaohongli@tju.edu.cn

个人主页：https://cse.tju.edu.cn/faculty/lixiaohong/index.html