(LISTED BY ALPHABETICAL ORDER OF FAMILY NAME | 按姓氏首字母排列)
Prof. Zhi Li
Guangxi Normal University, China
李智教授, 广西师范大学,软件工程系主任
Biography: Prof. Zhi Li is a distinguished member of China Computer Federation (CCF), former standing committee member of its Technical Council on Software Engineering (TCSE), and a member of its Technical Council on Systems Software, Service Computing and Formal Methods, senior member of IEEE and ACM. He graduated with a BSc degree from Fudan University in 1991, an MSc degree from the University of York in 2004, and a PhD degree from The Open University in 2008. Prof. Li had spent over 10 years doing professional and technical work before he entered academia in 2001, with subsequent 9 years in the UK. His research interests are modeling, verifying, testing and validating Human-Cyber-Physical Systems (HCPSs) based on a problem-oriented approach, Artificial Intelligence for Requirements Engineering (AI4RE), Artificial General Intelligence (AGI), and Human-Computer Interaction (HCI). His research has been sponsored by 3 grants from the National Natural Science Foundation of China, and 5 grants from Ministry of Education of China, Guangxi Natural Science Foundation, and Guangxi Scientific Research & Technological Development. He has published over 80 research papers at international journals and conferences (including TSE, TKDE, FSE2025, Journal of Software, 3 best conference papers). He has given 2 keynote speeches and over 20 invited talks in international conferences, and he is the leader and one of the main contributors to a suite of Computer-Aided Requirements Engineering (CARE) tools for Problem-Oriented Software Development (POSD).