Department：School of Cyberspace Security
Main courses：Undergraduate: Data structure, Software engineering; Master Degree Candidate: Unified Modeling Language; Highly trusted software engineering; Doctoral candidate: Formalized method
Tutor type：Doctoral supervisor
Research field：Security software engineering, Trusted software, information security
Research Interests：Program symbol execution and logical verification, Software defect detection, Security requirements, Trusted software testing and evaluation, Network security, Mobile security, Internet of Things security, etc.