Author: Zhiming Liu

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.