Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Zhiming_Liu_(computer_scientist)> ?p ?o }
- Zhiming_Liu_(computer_scientist) abstract "Zhiming Liu (Chinese: 刘志明, born 10 October 1961, Hebei Province, China) is a computer scientist. He studied mathematics in Luoyang, Henan Province in China and obtained his first degree in 1982. He holds a master's 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 worked at UNU-IIST during 2002-2013 at UNU-IIST as Research fellow and Senior Research Fellow. He joined Birmingham City University (UK) in October 2013 as the Professor of Software Engineering. 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 being developed into a 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), the International Symposium on Formal Aspects of Component Software (FACS), and International Symposium On Foundations of Health Information Engineering and systems (FHIES). 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.".
- Zhiming_Liu_(computer_scientist) alias "刘志明".
- Zhiming_Liu_(computer_scientist) almaMater Chinese_Academy_of_Sciences.
- Zhiming_Liu_(computer_scientist) almaMater Luoyang.
- Zhiming_Liu_(computer_scientist) almaMater University_of_Warwick.
- Zhiming_Liu_(computer_scientist) birthDate "1961-10-10".
- Zhiming_Liu_(computer_scientist) birthPlace China.
- Zhiming_Liu_(computer_scientist) birthPlace Hebei.
- Zhiming_Liu_(computer_scientist) birthPlace Hebei_Province.
- Zhiming_Liu_(computer_scientist) birthYear "1961".
- Zhiming_Liu_(computer_scientist) doctoralAdvisor Mathai_Joseph.
- Zhiming_Liu_(computer_scientist) knownFor RCOS.
- Zhiming_Liu_(computer_scientist) residence United_Kingdom.
- Zhiming_Liu_(computer_scientist) wikiPageExternalLink zhiming-liu.
- Zhiming_Liu_(computer_scientist) wikiPageExternalLink lzm.
- Zhiming_Liu_(computer_scientist) wikiPageExternalLink ~lzm.
- Zhiming_Liu_(computer_scientist) wikiPageID "9894484".
- Zhiming_Liu_(computer_scientist) wikiPageLength "5625".
- Zhiming_Liu_(computer_scientist) wikiPageOutDegree "58".
- Zhiming_Liu_(computer_scientist) wikiPageRevisionID "680696034".
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Anders_Ravn.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Archive.org.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Birmingham_City_University.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:1961_births.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:Academics_of_Birmingham_City_University.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:Academics_of_the_United_Nations_University.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:Academics_of_the_University_of_Leicester.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:Alumni_of_the_University_of_Warwick.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:British_computer_scientists.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:Chinese_computer_scientists.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:Formal_methods_people.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:Living_people.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Category:Scientists_from_Hebei.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink China.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Chinese_Academy_of_Sciences.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Component-based.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Component-based_design.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Component-based_software_engineering.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Computer_Science.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Computer_science.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Computer_scientist.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Duration_Calculus.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Duration_calculus.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Fault-tolerant.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Fault-tolerant_systems.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Fault_tolerance.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Formal_methods.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink He_Jifeng.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Hebei.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Hebei_Province.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Henan.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Henan_Province.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Institute_of_Software.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Institute_of_Software,_Chinese_Academy_of_Sciences.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Internet_Archive.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Kongens_Lyngby.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Luoyang.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Lyngby.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Mathai_Joseph.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Mathematics.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Model-driven_software_development.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Object-oriented.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Object-oriented_programming.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink RCOS.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Real-time_computing.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Technical_University_of_Denmark.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink UK.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink UNU-IIST.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink United_Kingdom.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink United_Nations_University_International_Institute_for_Software_Technology.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink University_of_Leicester.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink University_of_Warwick.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLink Zhou_Chaochen.
- Zhiming_Liu_(computer_scientist) wikiPageWikiLinkText "Zhiming Liu (computer scientist)".
- Zhiming_Liu_(computer_scientist) wikiPageWikiLinkText "Zhiming Liu".
- Zhiming_Liu_(computer_scientist) almaMater Chinese_Academy_of_Sciences.
- Zhiming_Liu_(computer_scientist) almaMater Luoyang.
- Zhiming_Liu_(computer_scientist) almaMater University_of_Warwick.
- Zhiming_Liu_(computer_scientist) alternativeNames "刘志明".
- Zhiming_Liu_(computer_scientist) birthDate "1961-10-10".
- Zhiming_Liu_(computer_scientist) birthPlace China.
- Zhiming_Liu_(computer_scientist) birthPlace Hebei.
- Zhiming_Liu_(computer_scientist) birthPlace Hebei_Province.
- Zhiming_Liu_(computer_scientist) citizenship "British".
- Zhiming_Liu_(computer_scientist) dateOfBirth "1961-10-10".
- Zhiming_Liu_(computer_scientist) doctoralAdvisor Mathai_Joseph.
- Zhiming_Liu_(computer_scientist) hasPhotoCollection Zhiming_Liu_(computer_scientist).
- Zhiming_Liu_(computer_scientist) knownFor RCOS.
- Zhiming_Liu_(computer_scientist) name "Liu, Zhiming".
- Zhiming_Liu_(computer_scientist) name "Zhiming Liu".
- Zhiming_Liu_(computer_scientist) nationality "Chinese".
- Zhiming_Liu_(computer_scientist) placeOfBirth China.
- Zhiming_Liu_(computer_scientist) placeOfBirth Hebei.
- Zhiming_Liu_(computer_scientist) placeOfBirth Hebei_Province.
- Zhiming_Liu_(computer_scientist) residence United_Kingdom.
- Zhiming_Liu_(computer_scientist) shortDescription "Computer scientist".
- Zhiming_Liu_(computer_scientist) wikiPageUsesTemplate Template:Authority_control.
- Zhiming_Liu_(computer_scientist) wikiPageUsesTemplate Template:DBLP.
- Zhiming_Liu_(computer_scientist) wikiPageUsesTemplate Template:Fact.
- Zhiming_Liu_(computer_scientist) wikiPageUsesTemplate Template:GoogleScholar.