Liu Zhiming
Encyclopedia
Zhiming Liu is a computer scientist
. He studied mathematics
in Luoyang
, Henan Province in China and obtained his first degree in 1982. He holds a master degree in Computer Science
from the Institute of Software of the Chinese Academy of Sciences
(1988), and a PhD degree from the University of Warwick
(1991). His PhD thesis was on Fault-Tolerant Programming by Transformations.
After his PhD, Zhiming Liu worked as a guest scientist at the Department of Computer Science, Technical University of Denmark
, Lyngby in 1991–1992. Then he returned to the University of Warwick and worked as a postdoctoral 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 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 component-based and model driven software development .
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
).
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
. He studied mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
in Luoyang
Luoyang
Luoyang is a prefecture-level city in western Henan province of Central China. It borders the provincial capital of Zhengzhou to the east, Pingdingshan to the southeast, Nanyang to the south, Sanmenxia to the west, Jiyuan to the north, and Jiaozuo to the northeast.Situated on the central plain of...
, Henan Province in China and obtained his first degree in 1982. He holds a master degree in Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
from the Institute of Software of the Chinese Academy of Sciences
Chinese Academy of Sciences
The Chinese Academy of Sciences , formerly known as Academia Sinica, is the national academy for the natural sciences of the People's Republic of China. It is an institution of the State Council of China. It is headquartered in Beijing, with institutes all over the People's Republic of China...
(1988), and a PhD degree from the University of Warwick
University of Warwick
The University of Warwick is a public research university located in Coventry, United Kingdom...
(1991). His PhD thesis was on Fault-Tolerant Programming by Transformations.
After his PhD, Zhiming Liu worked as a guest scientist at the Department of Computer Science, Technical University of Denmark
Technical University of Denmark
The Technical University of Denmark , often simply referred to as DTU, is a university just north of Copenhagen, Denmark. It was founded in 1829 at the initiative of Hans Christian Ørsted as Denmark's first polytechnic, and is today ranked among Europe's leading engineering institutions, and the...
, Lyngby in 1991–1992. Then he returned to the University of Warwick and worked as a postdoctoral research fellow on formal techniques in real-time
Real-time computing
In computer science, real-time computing , or reactive computing, is the study of hardware and software systems that are subject to a "real-time constraint"— e.g. operational deadlines from event to system response. Real-time programs must guarantee response within strict time constraints...
and fault-tolerant systems till October 1994 when he became a university lecturer in Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the University of Leicester
University of Leicester
The University of Leicester is a research-led university based in Leicester, England. The main campus is a mile south of the city centre, adjacent to Victoria Park and Wyggeston and Queen Elizabeth I College....
(UK). He joined UNU-IIST
UNU-IIST
The United Nations University International Institute for Software Technology is a United Nations University Research Training Centre based in Macau.-History:...
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
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
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
Zhou Chaochen
Zhou Chaochen is a Chinese computer scientist.Chaochen is a professor from Beijing, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University and as a postgraduate at the Institute for Computing Technology, Chinese Academy of Sciences .He worked at...
and Anders Ravn, et al., he also developed a Probabilistic Duration Calculus
Duration Calculus
Duration calculus is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action ProCoS project on Provably Correct Systems.DC is mainly useful at the requirements level of...
for system dependability analysis. His recent work with He Jifeng
He Jifeng
He Jifeng is a Chinese computer scientist.He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory from 1984 to 1998. He worked extensively on formal aspects of computing science...
and Xiaoshan Li on the rCOS
RCOS
rCOS stands for refinement of object and component systems. It is a method component-based model-driven softwaredevelopment. It was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU-IIST, and consists of a relational semantic theory, a refinement calculus and tool support for...
theory of semantics and refinement of object-oriented and component-based design is now being developed to method with tool support for component-based and model driven software development .
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
Leicestershire
Leicestershire is a landlocked county in the English Midlands. It takes its name from the heavily populated City of Leicester, traditionally its administrative centre, although the City of Leicester unitary authority is today administered separately from the rest of Leicestershire...
and studying in Loughborough Grammar School
Loughborough Grammar School
Loughborough Grammar School founded in 1495 by Thomas Burton, is an independent school for boys in Loughborough, Leicestershire, England. It is a day school for over 1100 pupils and a boarding school for nearly 100. It is one of three schools known as the Loughborough Endowed Schools, along with...
(UK
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
).