Cheng Wen is currently a lecturer at the Guangzhou Institute of Technology, Xidian University. Cheng Wen’s research interests are in the areas of Software Engineering (SE), Artificial Intelligence for SE (AI4SE), and Formal Methods (FM). In particular, he focuses on the use of program analysis, testing, verification, and AI techniques to make software systems more secure and reliable. His research has led to the discovery of hundreds of real-world security-critical bugs, assigning 83 CVEs.