Zhiming Liu


Personal Homepage
UNU-IIST, Macao (http://www.iist.unu.edu)

Zhiming Liu studied mathematics in unversity (Zhengzhou, China, 1978-2002), did his master degree in computer science at the Institute of Software of the Chinese Academy of Sciences (Beijing, 1986-1988), and PhD in computer science at the University of Warwick (England, 1988-1991).

He was a research fellow at the University Warwick during 1988-1994, and a university lecturers in computer science at the Universlity of Leicester, England, during 1994-2005. He joined UNU-IIST as a Research Fellow in July 2002, and was promoted to a senior research fellow in 2008. The UNU-IIST\'s mission is to help developing countries strengthen their education and research in computer science and their ability to produce computer software. His job for the UNU-IIST\'s mission is to

* Provide supervision to postdoctoral fellows, PhD students, and fellows . Please contact me if you are interested in a UNU-IIST Postodoctoral Pellowship, PhD Studentship, or a UNU-IIST Fellowship under my supervision.
* Develop and deliver training courses for both the in-house training programmes and schools organized by UNU/IIST
* Conduct research in the area of my interests and projects.
* Make my research results into Publications.

His research interest is in the areas of theories, methods, tools and experiments in modelling, specification and design of computer systems, including real-time fault-tolerant systems, concurrent and distributed systems, and component and object systems. He leads a Research Group working on Foundations and Advances in Computer Science and Software Engineering. In particular, they are current developing a method of Refinement of Component and Object Systems, called rCOS, for Component-Based Model Driven Software Design. The research is founded by UNU-IIST and Macao Science and Technology Development Fund. The group enjoy in the international collaboration with colleagues in China, Europe, and Africa.

Publication Statistics

Publication period start
Publication period end
Number of co-authors

Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications


He, Jifeng, Liu, Zhiming, Li, Xiaoshan (2002): Towards a Refinement Calculus for Object Systems. In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics ICCI 2002 19-20 August, 2002, Calgary, Canada. pp. 69-76. http://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240069abs.htm