Liu Zhiming

Liu Zhiming

Zhiming Liu, born in Hebei Province, China, is a computer scientist. He studied Mathematics in Luoyang, Henan Privince 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–1992. Then he came 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 (UK). 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 the main stream journals and conferences. Zhiming Liu's work on fault-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 for object-oriented and component-based system development. Zhiming Liu has recently developed formal method of component-based model driven software design, called rCOS (

Zhiming Liu is the 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. 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

* [ International Institute for Software Technology, United Nations University (UNU-IIST) information]
* [ publications]

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • RCOS — is a relational semantic model and refinement calculus for object oriented and component based software development. It was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU IIST. It supports both state based and event based… …   Wikipedia

  • 2010 China League Two — China League Two Season 2010 Champions Dalian Aerbin Promoted Dalian Aerbin Tianjin Songjiang ← 2009 2011 → The 2010 China League Two season is the 21st season since its establishment. League kicked off on 9 May 2010 …   Wikipedia

  • United Nations University International Institute for Software Technology — The United Nations University International Institute for Software Technology (UNU IIST) is a United Nations University Research Training Centre based in Macau. It was originally set up by the Danish professor Dines Bjørner using funding from… …   Wikipedia

  • China Software Industry Association — The China Software Industry Association (CSIA) is the major representative and one of the most active associations in the China Software industry. Its goal is to promote the development of software industry in China and provide a hub with… …   Wikipedia

  • China at the 1988 Summer Olympics — China at the Olympic Games Flag of the Pe …   Wikipedia

  • Denkmäler der Volksrepublik China (Guangxi) — Die folgende Tabelle bietet eine Übersicht zu sämtlichen Denkmälern der Provinz Guangxi (Abk. Gui), die auf der Denkmalliste der Volksrepublik China stehen: Name Beschluss Kreis/Ort siehe (auch) Bild Jintian qiyi dizhi 金田起义地址 1 2 Guiping shi 桂平市… …   Deutsch Wikipedia

  • Liste de zoologistes — Attention, il n est pas d usage en zoologie d utiliser d abréviation pour les noms des auteurs (contrairement aux usages de la botanique, voir ici). Cette liste ne constitue pas une liste officielle. Nous attirons l attention du lecteur sur son… …   Wikipédia en Français

  • Wang Chongyang — (trad. 王重陽 ; sim. 王重阳), Wang Tchong yang ou Chongyangzi (重陽子), 11 janvier 1113 – 22 janvier 1170, est le fondateur du courant taoïste Quanzhen et l’un des Cinq patriarches du Nord (běiwǔzǔ 北五祖). Wang est son nom de famille et Chongyang… …   Wikipédia en Français

  • List of Chinese dissidents — This list consists of these activists who are known as Chinese dissidents. There are also a large number of Chinese who claim to be dissidents and seek to defect, usually to USA, Canada, UK, Australia or New Zealand. To support their application… …   Wikipedia

  • Emperor Taizu of Song — Zhao Kuangyin Emperor of the Northern Song Dynasty Reign 4 February 960 – 14 November 976 ( 1000000000000001600000016 years, 10000000000000284000000284 days) Spouse Empre …   Wikipedia

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.