Prof. Zhi Li, Guangxi Normal University, China  (Vice Dean/CCF Distinguished Member、IEEE/ACME Senior member)

李智教授，广西师范大学（副院长）

Prof. Zhi Li is a distinguished member of China Computer Federation (CCF), standing committee member of its Technical Council on Software Engineering (TCSE), and a member of its Technical Council on Systems Software and Formal Methods. 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 Cyber-Physical Systems (CPSs) or Internet of Things (IoT) systems 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 50 research papers (including 3 CCF-A papers and 3 best papers). He has given over 10 invited talks at academic conferences.

博士/教授/博导，中国计算机学会杰出会员，担任该学会软工专委委员、系统软件专委委员、形式化方法专委委员，广西师范大学独秀学者。IEEE/ACM高级会员。担任国际期刊《专家系统:知识工程》(SCI源刊)的副主编。复旦大学理学学士，英国约克大学计算机科学系理学硕士，英国开放大学计算机科学博士，英国基尔大学软件工程专业博士后，在英国留学时间长达9年。在进入学术研究领域之前曾经有10年以上从事专业技术工作，主要研究兴趣包括基于问题框架的CPS/IoT建模与验证、智能软件的需求工程和人机交互等。获得国家自然科学基金项目2项、省部级项目4项，发表学术论文50余篇(含CCF推荐A类期刊论文3篇，3次获得国际学术会议最佳论文奖)，做会议邀请报告10余次。