Zhiming Liu

Senior Research Fellow

International Institute for Software Technology
United Nations University
P.O. Box 3058
Macao (via Hong Kong)

Phone: +853 28712930
Direct: +853 85040457
Fax: +853 28712940
Email: Z.Liu"at"iist.unu.edu

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

I 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. I was a guest scientist at the Technology University of Danmark (1991&1994) and a guest professor of University of Pisa (Italy, 2008). I joined UNU-IIST in July 2002, and I am now 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. My job for the UNU-IIST's mission is to

My research interest is in the area of foundation and methodolgy of information engineering, with a focus on theories, methods, tools and experiments in modelling, design and analysis of systems of software applications. My research covers the topics of real-time fault-tolerant systems, concurrent and distributed systems, and component and object systems. I am leading a Research Group working on Foundations, Advances and Applications in Information Engineering. We are current developing a method of Refinement of Component and Object Systems, called rCOS, for Model-Driven Design of Component-Based Software applications . The research is founded by UNU-IIST and Macao Science and Technology Development Fund. Our group enjoy in the international collaboration with colleagues in China, Europe, and Asia.
 


NEWS!

 
rCOS Method
 
Recommended Conferences:

 
ICTAC -- International Colloquium on Theoretical Aspects of Computing
 
FACS -- International Workshop on Formal Aspects of Component Software
 
International Journal on Innovations in Systems and Software Engineering
 
Postdoc Positions
 
PhD Program