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.
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