Zhi Li

Registered user since Fri 11 Jun 2021

Name:Zhi Li
Bio:

Dr./Prof. Zhi Li is a distinguished member of China Computer Federation (CCF), standing committee member of its Technical Council on Software Engineering (TCSE) and Systems Software (TCSS), and a member of its Technical Council on Formal Methods (TCFM). 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 Problem-oriented Urban Requirements Engineering (PURE), modelling, verifying, testing and validating Cyber-Physical Systems (CPSs) based on Problem Frames, and Human-Computer Interaction. His research has been sponsored by 2 grants from the National Natural Science Foundation of China, and 4 grants from Ministry of Education of China, Guangxi Natural Science Foundation, and Guangxi Scientific Research & Technological Development. He has published over 20 research papers (including 2 best papers and 1 best demo paper). He has given 8 invited talks on software engineering topics, and obtained 8 software copyrights for Computer-Aided Requirements Engineering (CARE) tools.

Country:China
Affiliation:Guangxi Normal University
Research interests:foundational and formal approach to software engineering; software requirements engineering; artificial intelligence; human-computer interaction

Contributions