- Liu Zhiming
Zhiming Liu, born in
Hebei Province ,China , is acomputer scientist . He studied Mathematics inLuoyang ,Henan Privince inChina and got his first degree in 1982. He then did his master degree inComputer Science at theInstitute of Software , theChinese 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–1992. Then he came back toUniversity of Warwick and worked as a postdoc research fellow onformal techniques in real-time andfault-tolerant systems till October 1994 when he became a university lecturer inComputer Science at theUniversity of Leicester (UK ). He joinedUNU-IIST as a research fellow in 2002, and he is now a senior research fellow at UNU-IIST.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 andcomponent-based systems. His research results have been [http://www.iist.unu.edu/~lzm/publication.html published] in the main stream journals and conferences. Zhiming Liu's work onfault-tolerance gives a formal model that defines prceisely the notions of fault, error, failure and fault-tolerance, and their relations. It also gives the properties that models of fault-affected programs and fault-tolerant programs in terms of model transformations. His recent work on formal methods and tools forobject-oriented andcomponent-based system development. Zhiming Liu has recently developed formal method ofcomponent-based model driven software design, calledrCOS (http://rcos.iist.unu.edu).Zhiming Liu is the founder of International Colloquium on Theoretical Aspects of Computing ( [http://www.iist.unu.edu/ICTAC/ ICTAC] ) and the International Workshop on Formal Aspects of Component Software ( [http://www.iist.unu.edu/FACS/ FACS] ). He has served as a PC chair for a number of conferences and [http://www.iist.unu.edu/~lzm/proact.html PC members] of a number of conferences. He has also edited a number of books.
Zhiming Liu is married to Hong Zhao with two sons, Kim Chang Liu and Edward Tanze Liu. They are currently living in Leicestershire and studying in
Loughborough Grammar School (UK).External links
* [http://www.iist.unu.edu/~lzm/ International Institute for Software Technology, United Nations University (UNU-IIST) information]
* [http://www.iist.unu.edu/~lzm/ publications]
*
Wikimedia Foundation. 2010.