Zhiming Liu
UNU-IIST Macau

Role within the ArtistDesign European Network of Excellence

Role within the Artist2 European Network of Excellence
Co-organiser of the Artist2 / UNU-IIST School in China - 2007

Company or Institution

UNU-IIST Macau

Contact

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

Participants