Ph.D., Professor, Doctoral Supervisor, DuXiu Scholar at Guangxi Normal University, Distinguished Member of CCF, Standing Committee Member of the Software Engineering Committee, and member of the Formal Methods and Service Computing Committee. He is also a senior member of IEEE/ACM and serves as Associate Editor of the SCI journal Expert Systems with Applications. His research focuses on urban big data requirements engineering, human-cyber-physical system modeling and verification, intelligent software engineering, and human-computer interaction. He has led three National Natural Science Foundation projects and six provincial-level projects (including a Guangxi Key R&D Program project with 1.8 million yuan funding). He has published over 70 academic papers (including 5 CCF-recommended Category A journal papers) and won three Best Paper Awards at international conferences. He has delivered over 10 invited academic presentations and holds 16 software copyrights. He has also led two Ministry of Education Industry-Academia Collaborative Education Projects and received three university-level teaching achievement awards.