Zhiming Liu, born in Hebei Province, China, is a computer scientist. He studied Mathematics in Luoyang, Henan Province in China and got his first degree in 1982. He holds a master degree in Computer Science from the Institute of Software, the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis is Fault-Tolerant Programming by Transformations.

PropertyValue
dbpprop:abstract
  • Zhiming Liu, born in Hebei Province, China, is a computer scientist. He studied Mathematics in Luoyang, Henan Province in China and got his first degree in 1982. He holds a master degree in Computer Science from the Institute of Software, the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis is Fault-Tolerant Programming by Transformations. 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 returned back to University of Warwick and worked as a postdoc 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. He joined UNU-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 and component-based systems. His research results have been published in mainstream journals and conferences. His joint work with Mathai Joseph work on fault-tolerance gives a formal model that defines precisely 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. They proposed a design process for fault-tolerant systems from requirement specifications and analysis, fault environment identification and analysis, specification of fault-affected design and verification of fault-tolerance for satisfaction of the requirements specification. In collaboration with Zhou Chaochen and Anders Ravn, et al. , he also developed a Probabilistic Duration Calculus for system dependability analysis. His recent work with He Jifeng and Xiaoshan Li on the rCOS theory of semantics and refinement of object-oriented and component-based design is now being developed to method with tool support for model driven software development . Zhiming Liu is the founder of International Colloquium on Theoretical Aspects of Computing and the International Workshop on Formal Aspects of Component Software. He has served as a PC chair for a number of conferences and 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).
dbpprop:hasPhotoCollection
dbpprop:id
  • l/Liu:Zhiming
dbpprop:name
  • Zhiming Liu
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • Zhiming Liu, born in Hebei Province, China, is a computer scientist. He studied Mathematics in Luoyang, Henan Province in China and got his first degree in 1982. He holds a master degree in Computer Science from the Institute of Software, the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis is Fault-Tolerant Programming by Transformations.
rdfs:label
  • Liu Zhiming
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of