Personal HomePage

XiaoHong Lip>

+

Personal Information

Gender:Female

Date of Employment:2018-06-08

Administrative Position:Dean of Computer and Information Technology Dept.

Other Contact Information

Zipcode :

Fax :

Postal Address :

E-mail :


Personal Profile

Dr. Xiaohong Li is a Professor of Software Information in Tianjin University, the director of Software Engineering and Information Security Lab and the vice-director of Tianjin Key Laboratory of Advanced Networking. She got her Ph.D. degree in Tianjin University, China in 2005, and was a Visiting Scholar in National University of Singapore form Aug.2010 to Mar.2011. Her research is in security software engineering, model checking and evaluation of trustworthy software and test. Now she is putting her focus on cyber security, information security, program analysis and IoT security. ❤ She is very kind and friendly in life,and she is always conscientious and responsible in work. So brilliant students are welcome! 


Education Background

[1] 2002.9 to 2005.7

Tianjin University | Computer Application and Technology  | Doctoral degree

[2] 1996.9 to 1999.3

Tianjin University | Computer Application  | Master’s Degree

Work Experience

[1] 2001.5 to 2017.10

Tianjin University; School of Computer Science and Technology | Ph.D; Associate Professor; Professor

[2] 2010.8 to 2011.3

National University of Singapore; School of Computer | Visiting Scholar

[3] 1993.9 to 1996.9

Inner Mongolia University of Technology | Lecturer

[4] 1987.7 to 1993.9

Inner Mongolia Chemical Fiber Plant | Assistant Engineer

  • Research Focus
  • Social Affiliations

[1] Evaluation of trustworthy software and test.
We focus on trusted software theory and verification, trust mechanism and model, evaluation of trustworthy software and test.

[2] Program Analysis.
 We focus on loops analysis, invariant, termination and resource analysis.

[3] Model checking.
We focus on security analysis and verification for the network protocol.

[4] Information Security.
We focus on application software security, including mobile security and IoT security.

[5] Cyber Security.
We focus on network security, including web security and browser security.

[6] Security Software Engineering.
We focus on security requirements and design, security system and evaluation, security testing and evaluation.

No content