PhD., Computer Science, University of Warwick, UK.
M.Sc., Computer Science, Institute of Software, Chinese Academy of Science, China
B.Sc., Applied Mathematics, Institute of Information Engineering and Technology, China
Zhiming Liu received his B.Sc. in Applied Mathematics in 1982, M.Sc. in Computer Science from the Institute of Software of the Chinese Academy of Science in 1987, and Ph.D. in Computer Science from the University of Warwick (UK) in 1991. He did his postdoctoral research at the University of Warwick and the Technical University of Denmark from 1991-1994. He was a university lecturer in Computer Science at the University of Leicester (U.K.) from 1994-2005. He is currently a Senior Research Fellow of the UNU International Institute for Software Technology in Macau (UNU-IIST).
Zhiming Liu’s research is in the area of information engineering and centres on sound methods of modeling, design and analysis of dependable computing systems. He has done renowned work in formal modeling and analysis real-time and fault-tolerant systems, embedded systems, the transformational approach he developed for specification and verification of fault-tolerant and real-time properties in particular. His current research focuses on techniques and tools for modeling, design and analysis of object-oriented, component-based and web-based systems. He is currently leading a team working on the development of a method, known as rCOS, of model driven design component-based and object-oriented software.
Zhiming Liu has over 80 peer reviewed publications in mainstream journals and international conferences. He has also edited a dozen of books/proceedings and special issues of journals. Zhiming Liu is an invited speakers of a number of conferences and invited lecturer of numerous tutorial and schools. He is often invited to give talks and seminars in computer science institutes and departments of universities in the world. He is a member of the editorial board of the Springer Journal of Innovations in Systems and Software Engineering, a member of the editorial board of Scientific Annals of Computer Science, and a member of ACM and IEEE.