- Liu Zhiming
Zhiming Liu, born in
Hebei Province, China, is a computer scientist. He studied Mathematics in Luoyang, Henan Privincein Chinaand got his first degree in 1982. He then did his master degree in Computer Scienceat the Institute of Software, the Chinese Academy of Sciences(CAS), under the supervision of Prof. Zhou Chaochenin 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, Lyngbyin 1991–1992. Then he came back to University of Warwickand worked as a postdoc research fellow on formal techniquesin real-time and fault-tolerantsystems till October 1994 when he became a university lecturer in Computer Scienceat the University of Leicester( UK). He joined UNU-IISTas 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 methodsof computer systems design, including real-time systems, fault-tolerant systems, object-orientedand component-basedsystems. 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 on fault-tolerancegives 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-orientedand component-basedsystem development. Zhiming Liu has recently developed formal method of component-based model drivensoftware design, called rCOS(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).
* [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.
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