Grigore Roșu - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1971 birth American computer scientist Living person Romanian Americans Romanian emigrant to the United States
rdfs:label	Grigore Roșu
owl:sameAs	dbr:Grigore_Roșu
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1971_births http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Romanian_emigrants_to_the_United_States http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/List_of_Romanian_Americans
skos:prefLabel	Grigore Roșu
skos:altLabel	Grigore Rosu
clgo:academicDiscipline	Computer science
clgo:almaMater	University of Bucharest University of California, San Diego
clgo:birthDate	1971-12-12
clgo:birthYear	1971
clgo:doctoralAdvisor	Joseph Goguen
clgo:institution	Runtime verification University of Bucharest Ames Research Center Microsoft Research University of Illinois Urbana-Champaign Alexandru Ioan Cuza University University of California, San Diego
clgo:knownFor	Runtime verification Matching logic
clgo:nationality	Romanian Americans

About: clgr:Grigore_Roșu