Zhiming Liu

Senior Research Fellow

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

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

I studied mathematics in unversity (Zhengzhou, China, 1978-2002), 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 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. My job for the UNU-IIST's mission is to

My 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. I lead a Research Group working on the Foundations and Advances in Computer Science and Software Engineering. In pariticaulr, we are current developing a method of Refinement of Component and Object Systems, called rCOS, for Component-Based and Model Driven Software Design. 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 Africa.
 


NEWS!

 
rCOS Method
 
Recommended Conferences:
 
ICTAC -- International Colloquium on Theoretical Aspects of Computing
 
International Journal on Innovations in Systems and Software Engineering
 
Postdoc Positions
 
PhD Program
 
 
Last modified: 02 August, 2005