Amir Pnueli - CaLiGraph

Property	Value
rdf:type	Foreign associate of the National Academy of Engineering Formal methods person Israeli computer scientist Theoretical computer scientist owl:NamedIndividual 1941 birth 2009 death Fellow of the Association for Computing Machinery Israeli Jewish scientist New York University faculty People by Erdős number Stanford University person Israeli Ashkenazi Jews Member of the Israel Academy of Sciences and Humanities NYU Courant Institute person Pioneer in computer science Programming language researcher Israeli invention or discovery Person from Nahalal
rdfs:label	Amir Pnueli
owl:sameAs	dbr:Amir_Pnueli
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/2009_in_Israel http://en.wikipedia.org/wiki/1941_in_Mandatory_Palestine http://en.wikipedia.org/wiki/2009 http://en.wikipedia.org/wiki/Category:1941_births http://en.wikipedia.org/wiki/Category:2009_deaths http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Jewish_scientists http://en.wikipedia.org/wiki/List_of_Israelis http://en.wikipedia.org/wiki/List_of_Jewish_scientists http://en.wikipedia.org/wiki/List_of_New_York_University_faculty http://en.wikipedia.org/wiki/List_of_Stanford_University_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_people_by_Erd%C5%91s_number http://en.wikipedia.org/wiki/Turing_Award 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/Category:Theoretical_computer_scientists http://en.wikipedia.org/wiki/Israel_Academy_of_Sciences_and_Humanities http://en.wikipedia.org/wiki/Category:People_from_Nahalal http://en.wikipedia.org/wiki/Nahalal http://en.wikipedia.org/wiki/1941 http://en.wikipedia.org/wiki/Category:Members_of_the_Israel_Academy_of_Sciences_and_Humanities http://en.wikipedia.org/wiki/Category:Programming_language_researchers http://en.wikipedia.org/wiki/Deaths_in_November_2009 http://en.wikipedia.org/wiki/List_of_Israeli_Ashkenazi_Jews http://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science http://en.wikipedia.org/wiki/List_of_programming_language_researchers http://en.wikipedia.org/wiki/Courant_Institute_of_Mathematical_Sciences http://en.wikipedia.org/wiki/List_of_NYU_Courant_Institute_people http://en.wikipedia.org/wiki/List_of_Israeli_inventions_and_discoveries http://en.wikipedia.org/wiki/Summer_School_Marktoberdorf http://en.wikipedia.org/wiki/Stanford_University_Computer_Science
skos:prefLabel	Amir Pnueli
skos:altLabel	Amir Penueli Pnueli, Amir
clgo:academicDiscipline	Computer science
clgo:award	Israel Prize Turing Award
clgo:birthDate	1941-04-22
clgo:birthPlace	California Nahalal Mandate for Palestine New York (state)
clgo:birthYear	1941
clgo:deathDate	2009-11-02
clgo:deathPlace	United States New York (state)
clgo:deathYear	2009
clgo:institution	New York University
is clgo:doctoralAdvisor of	Nissim Francez Shmuel Safra Ofer Strichman Doron A. Peled
is clgo:foundedBy of	I-Logix

About: clgr:Amir_Pnueli