User:Lzm88

From Wikipedia, the free encyclopedia

[edit] Zhiming Liu

Zhiming LIU, born in Hebei Privince, China, is a computer scientist. He studied Mathematics in an Unknown University in China and got his first degree in 1982. He then did his master degree in Computer Science at the Institute of Software, the Chinese Academy of Sciences (CAS), under the supervision of Prof. Zhou Chaochen in 1986–1988. He then went to the University of Warwick (UK) to work as a research fellow, and obtained his PhD with the thesis 'Fault-Tolerant Programming by Transformations', under the supervision of Prof. Mathai Joseph.

After his PhD, he worked as a guest scientist at the Department of Computer Science, Technical University of Denmark, Lyngby in 1991&ndash&1992. Then he came back to University of Warwick and worked as a psotdoc research fellow on formal techniques in real-time and fault-tolerant systems till October 1994 when he became a university lecturer in Computer Science at the University of Leicester (UK). He joined UNU-IIST as a research fellow in 2002.

Zhiming Liu's main research interest is in the areas of formal methods of computer systems design, including real-time systems, fault-tolerant systems, object-oriented and component-based systems. His research results have been published in the main stream journals and conferences. He has also edited a number of books. His recent works is the development of a relational semantics model rCOS for object-oriented and component-based systemdevelopment.

Zhiming Liu is founder of International Colloquium on Theoretical Aspects of Computing (ICTAC) and the International Workshop on Formal Aspects of Component Software (FACS). He has served as a PC chair for a number of conferences and PC members of a number of conferences.

Zhiming Liu is married to Hong Zhao with two sons, Kim and Edward.

[edit] References

• • He Jifeng, Xiashan Li, and Zhiming Liu. Component-based software engineering. In Pro. ICTAC’2005, Lecture Notes in Computer Science volume 3722. Springer, 2005.

• • He Jifeng, Xiashan Li, and Zhiming Liu. rCOS: A refinement calculus for object systems. Theoretical Computer Science, 365(1–2):109–142, 2006.

• • He Jifeng, Zhiming Liu, and Xiashan Li. A theory of reactive components. Electronic Notes of Theoretical Computer Science, 160:173–195, 2006.

• • Xin Chen, He Jifeng, Zhiming Liu, and Naijun. Zhan. A model of component-based programming. Technical Report 350, UNU-IIST, P.O. Box 3058, Macao SAR, China, 2006. http://www.iist.unu.edu, Accepted by FSEN’07.

• • Xin Chen, Zhiming Liu, and Vladimir Mencl. Separation of concerns and consistent integration in requirements modelling. In Proc. Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science. Springer, 2007.