DBpedia 2016-04

Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q15994586> ?p ?o }

Showing triples 1 to 100 of ±105 with 100 triples per page.

Q15994586 description "Computer scientist".
Q15994586 description "Computer scientist".
Q15994586 subject Q5312304.
Q15994586 subject Q6647582.
Q15994586 subject Q6847952.
Q15994586 subject Q7009023.
Q15994586 subject Q7010320.
Q15994586 subject Q8218954.
Q15994586 subject Q8219067.
Q15994586 subject Q8219114.
Q15994586 subject Q8237404.
Q15994586 subject Q8466127.
Q15994586 abstract "Prof. 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.".
Q15994586 alias "刘志明".
Q15994586 almaMater Q530471.
Q15994586 almaMater Q865528.
Q15994586 birthDate "1961-10-10".
Q15994586 birthPlace Q148.
Q15994586 birthPlace Q21208.
Q15994586 birthYear "1961".
Q15994586 doctoralAdvisor Q15990096.
Q15994586 influencedBy Q5688822.
Q15994586 influencedBy Q8071005.
Q15994586 knownFor Q7276118.
Q15994586 residence Q145.
Q15994586 thumbnail Zhiming_Liu.jpg?width=300.
Q15994586 wikiPageExternalLink zhiming-liu.
Q15994586 wikiPageExternalLink lzm.
Q15994586 wikiPageExternalLink ~lzm.
Q15994586 wikiPageWikiLink Q1049183.
Q15994586 wikiPageWikiLink Q1269766.
Q15994586 wikiPageWikiLink Q1333399.
Q15994586 wikiPageWikiLink Q145.
Q15994586 wikiPageWikiLink Q148.
Q15994586 wikiPageWikiLink Q15260926.
Q15994586 wikiPageWikiLink Q15990096.
Q15994586 wikiPageWikiLink Q187136.
Q15994586 wikiPageWikiLink Q21.
Q15994586 wikiPageWikiLink Q21198.
Q15994586 wikiPageWikiLink Q21208.
Q15994586 wikiPageWikiLink Q2239.
Q15994586 wikiPageWikiLink Q34217.
Q15994586 wikiPageWikiLink Q3547145.
Q15994586 wikiPageWikiLink Q395.
Q15994586 wikiPageWikiLink Q3988.
Q15994586 wikiPageWikiLink Q43684.
Q15994586 wikiPageWikiLink Q461.
Q15994586 wikiPageWikiLink Q530471.
Q15994586 wikiPageWikiLink Q5312304.
Q15994586 wikiPageWikiLink Q5316264.
Q15994586 wikiPageWikiLink Q5688822.
Q15994586 wikiPageWikiLink Q6040870.
Q15994586 wikiPageWikiLink Q609588.
Q15994586 wikiPageWikiLink Q6647582.
Q15994586 wikiPageWikiLink Q6847952.
Q15994586 wikiPageWikiLink Q6888140.
Q15994586 wikiPageWikiLink Q7009023.
Q15994586 wikiPageWikiLink Q7010320.
Q15994586 wikiPageWikiLink Q7276118.
Q15994586 wikiPageWikiLink Q7888970.
Q15994586 wikiPageWikiLink Q79872.
Q15994586 wikiPageWikiLink Q8071005.
Q15994586 wikiPageWikiLink Q8218954.
Q15994586 wikiPageWikiLink Q8219067.
Q15994586 wikiPageWikiLink Q8219114.
Q15994586 wikiPageWikiLink Q8237404.
Q15994586 wikiPageWikiLink Q82594.
Q15994586 wikiPageWikiLink Q8466127.
Q15994586 wikiPageWikiLink Q865528.
Q15994586 almaMater Q187136.
Q15994586 almaMater Q530471.
Q15994586 almaMater Q865528.
Q15994586 alternativeNames "刘志明".
Q15994586 birthDate "1961-10-10".
Q15994586 birthPlace Q148.
Q15994586 birthPlace Q21208.
Q15994586 dateOfBirth "1961-10-10".
Q15994586 doctoralAdvisor Q15990096.
Q15994586 influences Q5688822.
Q15994586 influences Q8071005.
Q15994586 knownFor Q7276118.
Q15994586 name "Liu, Zhiming".
Q15994586 name "Zhiming Liu".
Q15994586 placeOfBirth Q148.
Q15994586 placeOfBirth Q21208.
Q15994586 residence Q145.
Q15994586 shortDescription "Computer scientist".
Q15994586 type Person.
Q15994586 type Agent.
Q15994586 type Person.
Q15994586 type Scientist.
Q15994586 type Agent.
Q15994586 type NaturalPerson.
Q15994586 type Thing.
Q15994586 type Q215627.
Q15994586 type Q5.
Q15994586 type Q901.
Q15994586 type Person.
Q15994586 comment "Prof. 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.".
Q15994586 label "Zhiming Liu (computer scientist)".