Anders P. Ravn - CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1947 birth 2019 death IBM employee Person from Caracas Knight of the Order of the Dannebrog Danish computer programmer Danish computer scientist
rdfs:label	Anders P. Ravn
owl:sameAs	dbr:Anders_P._Ravn
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:People_from_Caracas http://en.wikipedia.org/wiki/Category:People_from_Caracas_by_occupation http://en.wikipedia.org/wiki/List_of_people_from_Caracas http://en.wikipedia.org/wiki/Category:1947_births http://en.wikipedia.org/wiki/Category:2019_deaths http://en.wikipedia.org/wiki/Category:IBM_employees http://en.wikipedia.org/wiki/Deaths_in_August_2019 http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Knights_of_the_Order_of_the_Dannebrog http://en.wikipedia.org/wiki/2019_in_science http://en.wikipedia.org/wiki/Category:Danish_computer_programmers http://en.wikipedia.org/wiki/Category:Danish_computer_scientists
skos:prefLabel	Anders P. Ravn
skos:altLabel	Anders P. Ravin
clgo:academicDiscipline	Computer science Formal methods Software engineering
clgo:almaMater	Technical University of Denmark University of Copenhagen
clgo:award	Order of the Dannebrog
clgo:birthDate	1947-10-29
clgo:birthPlace	Venezuela Caracas
clgo:birthYear	1947
clgo:citizenship	Denmark
clgo:deathDate	2019-08-01
clgo:deathPlace	Denmark Copenhagen
clgo:deathYear	2019
clgo:influenced	Zhiming Liu (computer scientist)
clgo:influencedBy	Tony Hoare Zhou Chaochen
clgo:institution	Technical University of Denmark University of Copenhagen Aalborg University
clgo:knownFor	Duration calculus
clgo:nationality	Denmark
clgo:occupation	Programmer
is clgo:influencedBy of	Zhiming Liu (computer scientist)

About: clgr:Anders_P._Ravn