David Harel - CaLiGraph

Property	Value
rdf:type	Foreign associate of the National Academy of Engineering Foreign member of the Chinese Academy of Sciences Formal methods person Israeli computer scientist owl:NamedIndividual 1950 birth American Academy of Arts and Sciences members Fellow of the American Academy of Arts and Sciences Fellow of the American Association for the Advancement of Science Fellow of the Association for Computing Machinery Foreign associate of the National Academy of Sciences Israeli Jewish mathematician Living person Member of Academia Europaea People by Erdős number Systems biologist Fellow of the Royal Society elected in 2020 Software engineering researcher Israeli Ashkenazi Jews Rugby union player South African person
rdfs:label	David Harel
owl:sameAs	dbr:David_Harel
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Software_engineering_researchers http://en.wikipedia.org/wiki/Category:1950_births http://en.wikipedia.org/wiki/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Foreign_associates_of_the_National_Academy_of_Sciences http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society_by_year http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Systems_biologists http://en.wikipedia.org/wiki/Falling_Walls http://en.wikipedia.org/wiki/List_of_American_Academy_of_Arts_and_Sciences_members_(2006%E2%80%932019) http://en.wikipedia.org/wiki/List_of_Israelis http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences) http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,_C http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,_F http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,_I http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,_L http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,_R http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,_V http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,_Z http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number http://en.wikipedia.org/wiki/Category:Foreign_associates_of_the_National_Academy_of_Engineering http://en.wikipedia.org/wiki/Category:Israeli_computer_scientists http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Stevens_Award http://en.wikipedia.org/wiki/Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science http://en.wikipedia.org/wiki/Category:Members_of_Academia_Europaea http://en.wikipedia.org/wiki/European_Association_for_Theoretical_Computer_Science http://en.wikipedia.org/wiki/Israel_Academy_of_Sciences_and_Humanities http://en.wikipedia.org/wiki/List_of_Jewish_mathematicians http://en.wikipedia.org/wiki/Category:Foreign_members_of_the_Chinese_Academy_of_Sciences http://en.wikipedia.org/wiki/List_of_foreign_members_of_the_Chinese_Academy_of_Sciences http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_2020 http://en.wikipedia.org/wiki/2015_Varsity_Shield http://en.wikipedia.org/wiki/List_of_Israeli_Ashkenazi_Jews http://en.wikipedia.org/wiki/Summer_School_Marktoberdorf
skos:prefLabel	David Harel
skos:altLabel	Harel's
clgo:academicDiscipline	Computer science
clgo:award	Israel Prize ACM Software System Award
clgo:birthDate	1950-04-12
clgo:birthYear	1950
clgo:nationality	Israel
is clgo:academicAdvisor of	Nir Friedman
is clgo:doctoralStudent of	Albert R. Meyer
is clgo:foundedBy of	I-Logix

About: clgr:David_Harel