Affiliated International Collaboration Partners
Zhiming Liu
UNU-IIST Macau
Role within the Artist2 European Network of Excellence
Co-organiser of the Artist2 / UNU-IIST School in China - 2007
Company or Institution
UNU-IIST MacauContact
Home page: http://www.iist.unu.edu/~lzm/ Email: 
Z.Liu@iist.unu.edu
Tel: +853 712930
My research is in the areas of
Formal Theories and Methods for Computing Systems Development. In particular, I am interested in Formal Techniques for Object-Oriented Systems Development Formal Models and Methods of Component Systems Development Formal Support to UML-Based Software Development Fault-Tolerant and Real-Time Embedded Systems
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009