Dines Bjørner - CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1937 birth Computer science writer Fellow of the Association for Computing Machinery IBM employee Living person Member of Academia Europaea Person from Odense Knight of the Order of the Dannebrog Danish computer scientist
rdfs:label	Dines Bjørner
owl:sameAs	dbr:Dines_Bjørner
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1937_births http://en.wikipedia.org/wiki/Category:Computer_science_writers http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:IBM_employees http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Technical_University_of_Denmark http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Members_of_Academia_Europaea http://en.wikipedia.org/wiki/Category:People_from_Odense http://en.wikipedia.org/wiki/Category:Knights_of_the_Order_of_the_Dannebrog http://en.wikipedia.org/wiki/Category:Danish_computer_scientists http://en.wikipedia.org/wiki/United_Nations_University_International_Institute_for_Software_Technology
skos:prefLabel	Dines Bjørner
skos:altLabel	Bjørner Bjørner, D. Professor Dines Bjørner
clgo:academicDiscipline	Computer science
clgo:almaMater	Technical University of Denmark
clgo:award	Formal Methods Europe Order of the Dannebrog
clgo:birthDate	1937-10-04
clgo:birthPlace	Odense Denmark Odense Municipality
clgo:birthYear	1937
clgo:influenced	Jonathan Bowen Cliff Jones (computer scientist) Zhou Chaochen He Jifeng
clgo:influencedBy	Tony Hoare Michael A. Jackson (computer scientist)
clgo:institution	Technical University of Denmark United Nations University
clgo:knownFor	Rigorous Approach to Industrial Software Engineering Vienna Development Method
clgo:nationality	Denmark
is clgo:influencedBy of	Jonathan Bowen Ivar Jacobson Zhou Chaochen

About: clgr:Dines_Bjørner