Name: Li Xiaohong

Title: Professor

Department: School of Cybersecurity

Main courses taught: (Undergraduate) Data Structures, Software Engineering; 

 (Graduate) Unified Modeling Language, High-Trustworthy Software Engineering; (Doctoral) Formal Methods

Supervisor type: Doctoral Supervisor

Email: xiaohongli@tju.edu.cn

Research fields: Secure software engineering, trusted software, information security

Research directions: Program symbolic execution and logical verification, software defect detection, 

security requirements, trusted software testing and evaluation, network security, mobile Internet security,

Internet of Things security

Personal Homepage: http://cic.tju.edu.cn/faculty/lxh/index.html