About: Amir Pnueli

Property	Value
dbo:academicDiscipline	dbr:Computer_science
dbo:award	dbr:Turing_Award dbr:Israel_Prize
dbo:birthDate	1941-04-22 (xsd:date)
dbo:birthPlace	dbr:Mandate_for_Palestine dbr:Nahalal
dbo:deathDate	2009-11-02 (xsd:date)
dbo:deathPlace	dbr:New_York_(state) dbr:United_States
dbo:description	دانشمند علوم کامپیوتر و مهندس اسرائیلی (fa) israelsk ingeniør og informatikar (nn) israelsk ingeniør og informatiker (da) científico israelí (es) מדען ישראלי, פרופסור מן המניין בתחומי המתמטיקה ומדעי המחשב, חתן פרס ישראל ופרס טיורינג (iw) informaticus uit Israël (1941-2009) (nl) israela komputikisto (eo) israelischer Informatiker (de) israelisk ingenjör och datavetare (sv) izraelski informatyk (pl) izraelský informatik (cs) informaticien israélien ayant obtenu les prix Turing et prix Israël. (fr) Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems (en) আমির নিউলি ইসরায়েলের একজন কম্পিউটার বিজ্ঞানী এবং ১৯৯৬ সালের 'টার্নিং অ্যাওয়ার্ড ' বিজয়ী ছিলেন। (bn)
dbo:doctoralStudent	dbr:Dana_Fisman dbr:Doron_A._Peled dbr:Lenore_Zuck dbr:Mordechai_Ben-Ari dbr:Nissim_Francez dbr:Ofer_Strichman
dbo:originalName	אמיר פנואלי (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Amir_Pnueli.jpg?width=300
dbo:wikiPageExternalLink	http://www.cs.nyu.edu/cs/faculty/pnueli/ http://www.cs.nyu.edu/cs/faculty/pnueli/shrtbio.html https://web.archive.org/web/20030804233143/http:/www.wisdom.weizmann.ac.il/~amir/ http://www.wisdom.weizmann.ac.il/math/profile/scientists/pnueli-profile.html http://www.wisdom.weizmann.ac.il/pnueli/lecture-2011.shtml
dbo:wikiPageWikiLink	dbr:Israel dbr:Mathematics dbr:New_York_(state) dbr:Sweden dbr:United_States dbr:Association_for_Computing_Machinery dbr:Doctor_of_Philosophy dbr:Mandatory_Palestine dbr:New_York_University dbr:Stanford_University dbr:Turing_Award dbr:Uppsala_University dbr:Weizmann_Institute_of_Science dbr:Bachelor's_degree dbc:People_from_Nahalal dbr:Israel_Prize dbr:Computer_scientist dbr:Haifa dbr:Model_checking dbr:Tel_Aviv_University dbr:Honorary_degree dbr:Temporal_logic dbr:Mandate_for_Palestine dbr:Nahalal dbr:List_of_Israel_Prize_recipients dbc:Israeli_Jews dbc:1941_births dbc:Theoretical_computer_scientists dbc:2009_deaths dbc:Turing_Award_laureates dbc:Programming_language_researchers dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Israel_Prize_in_computer_sciences_recipients dbc:Israeli_computer_scientists dbc:Members_of_the_Israel_Academy_of_Sciences_and_Humanities dbc:Technion_–_Israel_Institute_of_Technology_alumni dbc:Jewish_scientists dbc:Formal_methods_people dbc:Courant_Institute_of_Mathematical_Sciences_faculty dbc:Polytechnic_Institute_of_New_York_University_faculty dbc:Foreign_associates_of_the_National_Academy_of_Engineering dbr:Computer_Science dbr:Weizmann_Institute dbr:Brain_hemorrhage dbr:List_of_important_publications_in_theoretical_computer_science dbr:Technion dbr:Concurrent_systems dbc:Weizmann_Institute_of_Science_faculty dbc:Tel_Aviv_University_faculty
dbp:birthDate	1941-04-22 (xsd:date)
dbp:birthPlace	dbr:Mandate_for_Palestine dbr:Nahalal
dbp:deathDate	2009-11-02 (xsd:date)
dbp:deathPlace	dbr:New_York_(state) dbr:United_States
dbp:doctoralStudents	dbr:Dana_Fisman dbr:Doron_A._Peled dbr:Lenore_Zuck dbr:Mordechai_Ben-Ari dbr:Nissim_Francez dbr:Ofer_Strichman (en)
dbp:education	dbr:Technion_–_Israel_Institute_of_Technology Weizmann Institute of Science (en)
dbp:field	dbr:Computer_science
dbp:imageSize	250 (xsd:integer)
dbp:name	Amir Pnueli (en)
dbp:nationality	Israeli (en)
dbp:nativeName	אמיר פנואלי (en)
dbp:nativeNameLang	he (en)
dbp:prizes	dbr:Israel_Prize Turing Award (en)
dbp:wikiPageUsesTemplate	dbt:Turing_award dbt:Authority_control dbt:Birth_date dbt:DBLP dbt:Death_date_and_age dbt:Infobox_scientist dbt:Langx dbt:Reflist dbt:Short_description
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1
dbp:workInstitution	dbr:New_York_University dbr:Stanford_University dbr:Weizmann_Institute_of_Science dbr:University_of_Pennsylvania dbr:Tel_Aviv_University
dct:subject	dbc:Academic_staff_of_Weizmann_Institute_of_Science dbc:People_from_Nahalal dbc:Israeli_Jews dbc:1941_births dbc:2009_deaths dbc:Turing_Award_laureates dbc:Programming_language_researchers dbc:Israel_Prize_in_computer_sciences_recipients dbc:Members_of_the_Israel_Academy_of_Sciences_and_Humanities dbc:Technion_–_Israel_Institute_of_Technology_alumni dbc:Jewish_scientists dbc:Formal_methods_people dbc:Academic_staff_of_Tel_Aviv_University dbc:Courant_Institute_of_Mathematical_Sciences_faculty dbc:Polytechnic_Institute_of_New_York_University_faculty dbc:Foreign_associates_of_the_National_Academy_of_Engineering dbc:Israeli_theoretical_computer_scientists dbc:2007_fellows_of_the_Association_for_Computing_Machinery
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/59337776
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person umbel-rc:Scientist
rdfs:label	Amir Pnueli (en) Amir Pnueli (ca) Amir Pnueli (cs) أمير بنولي (ar) Amir Pnueli (eo) Amir Pnueli (es) Amir Pnueli (de) Amir Pnueli (fr) Amir Pnueli (in) Amir Pnueli (it) アミール・プヌーリ (ja) Amir Pnueli (pl) Amir Pnueli (pt) Amir Pnueli (nl) Амір Пнуелі (uk) Пнуэли, Амир (ru) 阿米尔·伯努利 (zh)
owl:sameAs	freebase:Amir Pnueli http://viaf.org/viaf/59337776 yago-res:Amir Pnueli http://d-nb.info/gnd/1076344267 wikidata:Amir Pnueli dbpedia-de:Amir Pnueli dbpedia-es:Amir Pnueli dbpedia-it:Amir Pnueli dbpedia-nl:Amir Pnueli dbpedia-pl:Amir Pnueli dbpedia-tr:Amir Pnueli dbpedia-fr:Amir Pnueli dbpedia-he:Amir Pnueli dbpedia-ja:Amir Pnueli dbpedia-pt:Amir Pnueli dbpedia-ro:Amir Pnueli dbpedia-ru:Amir Pnueli dbpedia-zh:Amir Pnueli dbpedia-id:Amir Pnueli dbpedia-ca:Amir Pnueli https://dblp.org/pid/p/AmirPnueli http://data.bibliotheken.nl/id/thes/p068748698 dbpedia-ar:Amir Pnueli dbpedia-arz:Amir Pnueli dbpedia-azb:Amir Pnueli dbpedia-bn:Amir Pnueli dbpedia-cs:Amir Pnueli dbpedia-eo:Amir Pnueli dbpedia-fa:Amir Pnueli dbpedia-mg:Amir Pnueli dbpedia-sh:Amir Pnueli dbpedia-sk:Amir Pnueli dbpedia-sr:Amir Pnueli dbpedia-uk:Amir Pnueli dbpedia-global:Amir Pnueli
prov:wasDerivedFrom	wikipedia-en:Amir_Pnueli?oldid=1297602160&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Amir_Pnueli.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Amir_Pnueli
foaf:name	Amir Pnueli (en)
is dbo:doctoralAdvisor of	dbr:Dov_Dori dbr:Dana_Fisman dbr:Doron_A._Peled dbr:Lenore_Zuck dbr:Nissim_Francez dbr:Ofer_Strichman dbr:Shmuel_Safra
is dbo:foundedBy of	dbr:I-Logix
is dbo:wikiPageRedirects of	dbr:Pnueli
is dbo:wikiPageWikiLink of	dbr:1996_in_science dbr:2009_in_Israel dbr:Sanctum_(company) dbr:List_of_computer_scientists dbr:I-Logix dbr:1941_in_Mandatory_Palestine dbr:List_of_programming_language_researchers dbr:2009 dbr:1941 dbr:Stanford_University dbr:Turing_Award dbr:Weizmann_Institute_of_Science dbr:List_of_Israelis dbr:Courant_Institute_of_Mathematical_Sciences dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Model_checking dbr:Tal_Malkin dbr:Temporal_logic dbr:Deaths_in_November_2009 dbr:Dynamic_logic_(modal_logic) dbr:Dov_Dori dbr:Dov_Gabbay dbr:ACM_Software_System_Award dbr:CTL* dbr:Doron_A._Peled dbr:Joseph_Sifakis dbr:Nahalal dbr:Nissim_Francez dbr:Ofer_Strichman dbr:Shmuel_Safra dbr:TLA+ dbr:Israel_Academy_of_Sciences_and_Humanities dbr:Modal_logic dbr:List_of_pioneers_in_computer_science dbr:List_of_Israel_Prize_recipients dbr:McCarthy_91_function dbr:Zohar_Manna dbr:List_of_Israeli_inventions_and_discoveries dbr:Summer_School_Marktoberdorf dbr:Lee_Segel dbr:List_of_people_by_Erdős_number dbr:Culture_of_Israel dbr:Linear_temporal_logic dbr:List_of_NYU_Courant_Institute_people dbr:List_of_New_York_University_faculty dbr:Stanford_University_Computer_Science dbr:List_of_Stanford_University_people dbr:List_of_Israeli_Ashkenazi_Jews dbr:Pnueli
is dbp:doctoralAdvisor of	dbr:Dov_Dori dbr:Dana_Fisman dbr:Lenore_Zuck dbr:Nissim_Francez dbr:Ofer_Strichman dbr:Shmuel_Safra
is dbp:founder of	dbr:I-Logix
is foaf:primaryTopic of	wikipedia-en:Amir_Pnueli