| Birthplace
|
http://dbpedia.org/resource/Nahalal +
, http://dbpedia.org/resource/Mandate_for_Palestine +
|
| http://dbpedia.org/ontology/abstract
|
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
, Amir Pnueli (bahasa Ibrani: אמיר פנואלי; 22 April 1941 – 2 November 2009) adalah seorang Israel dan penerima Penghargaan Turing 1996.
, Amir Pnueli (Nahalal, 22 de abril de 1941 … Amir Pnueli (Nahalal, 22 de abril de 1941 — Nova Iorque, 2 de novembro de 2009) foi um informático israelense. Introduziu a lógica temporal na ciência da computação e contribuiu para a verificação formal de programas e sistemas, recebendo por isto o Prêmio Turing de 1996. Pnueli faleceu em consequência de um derrame.eli faleceu em consequência de um derrame.
, アミール・プヌーリ、ア（ー）ミール・ペヌーエーリー、アミル・ペヌエリ（ヘブライ語: אַמִיר(אָמִיר) פְּנוּאֵלִי a(ā)mīr pənū’ēlī; Amir Pnueli、1941年4月22日 - 2009年11月2日）は、イスラエル人の計算機科学者。
, Amir Pnueli (ur. 22 kwietnia 1941 w Nahalal, Izrael, zm. 2 listopada 2009) - informatyk, laureat nagrody Turinga w 1996 za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.
, Amir Pnueli (* 22. April 1941 in Nahalal, … Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet und dafür 1996 den Turing Award verliehen bekommen hat.6 den Turing Award verliehen bekommen hat.
, Profesor Amir Pnueli (hebrejsky: אמיר פנואלי; žil 22. dubna 1941 – 2. listopadu 2009) byl izraelský informatik. Za jeho přínos v oblasti temporální logiky a ověřování programů a systémů mu byla v roce 1996 udělena Turingova cena.
, Амір Пнуелі (івр. אמיר פנואלי; англ. Amir Pnueli; нар.22 квітня 1941 — пом.2 листопада 2009) — ізраїльський вчений-теоретик в галузі комп'ютерних наук, лауреат премії Тюрінга.
, Amir Pnueli (Nahalal, 22 april 1941 - New … Amir Pnueli (Nahalal, 22 april 1941 - New York, 2 november 2009) was een Israëlisch informaticus en wiskundige. Gedurende zijn loopbaan heeft hij veel onderzoek gedaan naar temporele logica en in 1996 ontving hij de Turing Award voor [B]eslissend werk aan de introductie van temporele logica in de informatica en voor buitengewone bijdragen aan de verificatie van programma's en systemen. Pnueli studeerde wiskunde aan het Technion te Haifa, waar hij zijn bachelor behaalde. Daarna deed hij een promotieonderzoek binnen de toegepaste wiskunde aan het Weizmann-instituut der Wetenschappen; zijn onderwerp was "Berekening van Getijden in de Oceaan". Tijdens een korte periode als postdoc aan de Stanford-universiteit stapte hij over naar de informatica. Hij keerde terug naar Israël als onderzoeker waar hij, na een verscheidenheid aan academische posten, hoogleraar werd aan het Weizmann-instituut. Daarnaast heeft Pnueli ook twee technologie-bedrijfjes gestart. Pnueli was getrouwd, en laat drie kinderen en een kleinkind na. Hij overleed aan een hersenbloeding.d na. Hij overleed aan een hersenbloeding.
, أمير بنولي (بالعبرية: אמיר פנואלי) (ولد ف … أمير بنولي (بالعبرية: אמיר פנואלי) (ولد في 22 أبريل 1941 في نهلال، فلسطين (قبل الاحتلال) وتوفي 2 نوفمبر 2009 في نيويورك) عالم حاسوب إسرائيلي، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1996 من أجل «العمل الأساسي الذي يقدم المنطق الزمني في علوم الحوسبة وللمساهمات البارزة في التحقق من البرامج والنظام.».ات البارزة في التحقق من البرامج والنظام.».
, 阿米尔·伯努利（英語：Amir Pnueli，1941年4月22日－2009年11月2日），以色列计算机科学家。
, Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d'une hémorragie intra-cérébrale. Il a obtenu le prix Turing et le prix Israël.
, Amir Pnueli (n. 22 de abril de 1941 - 2 de … Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas. Nacido en (Israel), Pnueli recibió su licenciatura en Matemáticas en el Technion de Haifa, y su doctorado en matemática aplicada por el Instituto Científico Weizmann. Su tesis trata del "Cálculo de Mareas en el Océano". Durante una estancia postdoctoral en la Universidad de Stanford, cambió su campo de interés. Regresó a Israel como investigador, y tras una serie de ascensos académicos se convirtió en profesor de Ciencias de la Computación en el Instituto Weizmann en 1981. En 1999, Pnueli se mudó al Departamento de Ciencias de la Computación de la Universidad de Nueva York. Además, durante su carrera Pnueli ha fundado dos compañías tecnológicas. Estuvo casado, y tuvo tres hijos y un nieto. Falleció el 2 de noviembre de 2009 en Nueva York.ó el 2 de noviembre de 2009 en Nueva York.
, Amir Pnueli (hebreu: אמיר פנואלי) fou un … Amir Pnueli (hebreu: אמיר פנואלי) fou un informàtic israelià que va guanyar el premi Turing de 1996. Pnueli va néixer a Nahalal, al Mandat Britànic de Palestina (ara Israel) i es va llicenciar en Matematiques al Technion de Haifa, doctorant-se en matemàtica aplicada a l'Institut Weizmann de Ciències. La seva tesi era sobre el "Càlcul de marees a l'oceà". Va canviar-se a la informàtica quan va fer una estada post-doctoral a la Universitat de Stanford. La seva feina en informàtica es va concentrar en la lògica temporal i la verificació de models, en concret sobre les propietats de justícia dels sistemes concurrents. Va tornar a Israel com a investigador; va ser el fundador i el primer director del departament d'informàtica de la Universitat de Tel Aviv. Va passar a fer de professor d'informàtica de l'Institut Weizmann el 1981. Des de 1999 fins a la seva mort, Pnueli també tenia un càrrec al Departament d'Informàtica de la Universitat de Nova York, als Estats Units. Pnueli també va fundar dues empreses de tecnologia al llarg de la seva carrera. Va tenir tres fills, i en el moment de la seva mort, tenia quatre nets. Pnueli va morir el 2 de novembre de 2009 d'hemorràgia cerebral.de novembre de 2009 d'hemorràgia cerebral.
, Amir Pnueli (22 aprile 1941 – 2 novembre 2 … Amir Pnueli (22 aprile 1941 – 2 novembre 2009) è stato un matematico, informatico e ricercatore israeliano. Ha ricevuto il Premio Turing nel 1996.Pnueli è nato a Nahalal, nel Mandato britannico della Palestina (ora Israele) e ha conseguito una laurea in matematica presso il Technion di Haifa e un dottorato di ricerca. in matematica applicata dal Weizmann Institute of Science. La sua tesi era sul tema "Calcolo delle maree nell'oceano". È passato all'informatica durante un periodo come borsista post-dottorato presso la Stanford University. I suoi lavori in informatica si sono concentrati sulla logica temporale e sul controllo dei modelli, in particolare per quanto riguarda le proprietà di equità dei sistemi concorrenti. È tornato in Israele come ricercatore; è stato il fondatore e il primo presidente del dipartimento di informatica presso l'Università di Tel Aviv. È diventato professore di informatica presso il Weizmann Institute nel 1981. Dal 1999 fino alla sua morte, Pnueli ha anche ricoperto una posizione presso il Dipartimento di Informatica della New York University, New York, USA.Pnueli ha anche fondato due società tecnologiche per startup durante la sua carriera. Ha avuto tre figli e, alla sua morte, ha avuto quattro nipoti.Pnueli è morto il 2 novembre 2009 per un'emorragia cerebrale. novembre 2009 per un'emorragia cerebrale.
, Амир Пнуэли (ивр. אמיר פנואלי, 22 апрел … Амир Пнуэли (ивр. אמיר פנואלי, 22 апреля 1941 года, Нахалаль, Палестина — 2 ноября 2009 года, Нью-Йорк, США) — израильский и американский учёный в области теории вычислительных систем, профессор информатики при Институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование темпоральной логики и её применения в верификации программ.ки и её применения в верификации программ.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Israel_Prize +
, http://dbpedia.org/resource/Turing_Award +
|
| http://dbpedia.org/ontology/birthDate
|
"1941-04-22"^^xsd:date
|
| http://dbpedia.org/ontology/deathDate
|
"2009-11-02"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/United_States +
, http://dbpedia.org/resource/New_York_%28state%29 +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Amir_Pnueli.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
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 +
, http://www.cs.nyu.edu/cs/faculty/pnueli/shrtbio.html +
, http://www.cs.nyu.edu/cs/faculty/pnueli/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
308365
|
| http://dbpedia.org/ontology/wikiPageLength
|
6423
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1111197445
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Israeli_Jews +
, http://dbpedia.org/resource/Category:Tel_Aviv_University_faculty +
, http://dbpedia.org/resource/Category:Programming_language_researchers +
, http://dbpedia.org/resource/Sweden +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Category:Turing_Award_laureates +
, http://dbpedia.org/resource/Israel_Prize +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Mandatory_Palestine +
, http://dbpedia.org/resource/Weizmann_Institute_of_Science +
, http://dbpedia.org/resource/Category:Members_of_the_Israel_Academy_of_Sciences_and_Humanities +
, http://dbpedia.org/resource/List_of_important_publications_in_theoretical_computer_science +
, http://dbpedia.org/resource/Category:Israeli_computer_scientists +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Turing_Award +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Temporal_logic +
, http://dbpedia.org/resource/Category:People_from_Nahalal +
, http://dbpedia.org/resource/Category:1941_births +
, http://dbpedia.org/resource/Israel +
, http://dbpedia.org/resource/Category:Technion_%E2%80%93_Israel_Institute_of_Technology_alumni +
, http://dbpedia.org/resource/Concurrent_systems +
, http://dbpedia.org/resource/Category:Israel_Prize_in_computer_sciences_recipients +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/United_States +
, http://dbpedia.org/resource/Nahalal +
, http://dbpedia.org/resource/Weizmann_Institute +
, http://dbpedia.org/resource/Tel_Aviv_University +
, http://dbpedia.org/resource/Technion +
, http://dbpedia.org/resource/List_of_Israel_Prize_recipients +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Honorary_degree +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Bachelor%27s_degree +
, http://dbpedia.org/resource/Haifa +
, http://dbpedia.org/resource/Brain_hemorrhage +
, http://dbpedia.org/resource/Category:Weizmann_Institute_of_Science_faculty +
, http://dbpedia.org/resource/Category:2009_deaths +
, http://dbpedia.org/resource/Uppsala_University +
, http://dbpedia.org/resource/New_York_University +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Foreign_associates_of_the_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Jewish_scientists +
, http://dbpedia.org/resource/Category:Courant_Institute_of_Mathematical_Sciences_faculty +
, http://dbpedia.org/resource/Category:Polytechnic_Institute_of_New_York_University_faculty +
, http://dbpedia.org/resource/New_York_%28state%29 +
, http://dbpedia.org/resource/Mandate_for_Palestine +
|
| http://dbpedia.org/property/birthDate
|
"1941-04-22"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Mandate_for_Palestine +
, http://dbpedia.org/resource/Nahalal +
|
| http://dbpedia.org/property/deathDate
|
"2009-11-02"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
http://dbpedia.org/resource/New_York_%28state%29 +
, http://dbpedia.org/resource/United_States +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/property/imageSize
|
250
|
| http://dbpedia.org/property/name
|
Amir Pnueli
|
| http://dbpedia.org/property/nationality
|
Israeli
|
| http://dbpedia.org/property/prizes
|
http://dbpedia.org/resource/Israel_Prize +
, Turing Award
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Turing_award +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:DBLP +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/wordnet type
|
http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1 +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/New_York_University +
, http://dbpedia.org/resource/Weizmann_Institute +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/Tel_Aviv_University +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Tel_Aviv_University_faculty +
, http://dbpedia.org/resource/Category:1941_births +
, http://dbpedia.org/resource/Category:Members_of_the_Israel_Academy_of_Sciences_and_Humanities +
, http://dbpedia.org/resource/Category:Technion_%E2%80%93_Israel_Institute_of_Technology_alumni +
, http://dbpedia.org/resource/Category:People_from_Nahalal +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Category:Israel_Prize_in_computer_sciences_recipients +
, http://dbpedia.org/resource/Category:Polytechnic_Institute_of_New_York_University_faculty +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Courant_Institute_of_Mathematical_Sciences_faculty +
, http://dbpedia.org/resource/Category:Programming_language_researchers +
, http://dbpedia.org/resource/Category:Turing_Award_laureates +
, http://dbpedia.org/resource/Category:Weizmann_Institute_of_Science_faculty +
, http://dbpedia.org/resource/Category:Israeli_computer_scientists +
, http://dbpedia.org/resource/Category:2009_deaths +
, http://dbpedia.org/resource/Category:Foreign_associates_of_the_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Israeli_Jews +
, http://dbpedia.org/resource/Category:Jewish_scientists +
, http://dbpedia.org/resource/Category:Formal_methods_people +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/59337776 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Amir_Pnueli?oldid=1111197445&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Amir_Pnueli.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Amir_Pnueli +
|
| http://xmlns.com/foaf/0.1/name
|
Amir Pnueli
|
| owl:sameAs |
http://pt.dbpedia.org/resource/Amir_Pnueli +
, http://zh.dbpedia.org/resource/%E9%98%BF%E7%B1%B3%E5%B0%94%C2%B7%E4%BC%AF%E5%8A%AA%E5%88%A9 +
, http://cs.dbpedia.org/resource/Amir_Pnueli +
, http://bn.dbpedia.org/resource/%E0%A6%86%E0%A6%AE%E0%A6%BF%E0%A6%B0_%E0%A6%A8%E0%A6%BF%E0%A6%89%E0%A6%B2%E0%A6%BF +
, https://dblp.org/pid/p/AmirPnueli +
, https://global.dbpedia.org/id/551fh +
, http://ar.dbpedia.org/resource/%D8%A3%D9%85%D9%8A%D8%B1_%D8%A8%D9%86%D9%88%D9%84%D9%8A +
, http://fr.dbpedia.org/resource/Amir_Pnueli +
, http://tr.dbpedia.org/resource/Amir_Pnueli +
, http://ca.dbpedia.org/resource/Amir_Pnueli +
, http://yago-knowledge.org/resource/Amir_Pnueli +
, http://arz.dbpedia.org/resource/%D8%A7%D9%85%D9%8A%D8%B1_%D8%A8%D9%86%D9%88%D9%84%D9%89 +
, http://sk.dbpedia.org/resource/Amir_Pnueli +
, http://pl.dbpedia.org/resource/Amir_Pnueli +
, http://id.dbpedia.org/resource/Amir_Pnueli +
, http://ro.dbpedia.org/resource/Amir_Pnueli +
, http://azb.dbpedia.org/resource/%D8%A7%D9%85%DB%8C%D8%B1_%D9%BE%D9%86%D9%88%D8%A6%D9%84%DB%8C +
, http://he.dbpedia.org/resource/%D7%90%D7%9E%D7%99%D7%A8_%D7%A4%D7%A0%D7%95%D7%90%D7%9C%D7%99 +
, http://data.bibliotheken.nl/id/thes/p068748698 +
, http://sh.dbpedia.org/resource/Amir_Pnueli +
, http://ja.dbpedia.org/resource/%E3%82%A2%E3%83%9F%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%97%E3%83%8C%E3%83%BC%E3%83%AA +
, http://dbpedia.org/resource/Amir_Pnueli +
, http://viaf.org/viaf/59337776 +
, http://ru.dbpedia.org/resource/%D0%9F%D0%BD%D1%83%D1%8D%D0%BB%D0%B8%2C_%D0%90%D0%BC%D0%B8%D1%80 +
, http://uk.dbpedia.org/resource/%D0%90%D0%BC%D1%96%D1%80_%D0%9F%D0%BD%D1%83%D0%B5%D0%BB%D1%96 +
, http://mg.dbpedia.org/resource/Amir_Pnueli +
, http://de.dbpedia.org/resource/Amir_Pnueli +
, http://nl.dbpedia.org/resource/Amir_Pnueli +
, http://it.dbpedia.org/resource/Amir_Pnueli +
, http://eo.dbpedia.org/resource/Amir_Pnueli +
, http://d-nb.info/gnd/1076344267 +
, http://es.dbpedia.org/resource/Amir_Pnueli +
, http://www.wikidata.org/entity/Q92649 +
, http://rdf.freebase.com/ns/m.01svgc +
, http://sr.dbpedia.org/resource/%D0%90%D0%BC%D0%B8%D1%80_%D0%9F%D0%BD%D1%83%D0%B5%D0%BB%D0%B8 +
, http://fa.dbpedia.org/resource/%D8%A7%D9%85%DB%8C%D8%B1_%D9%BE%D9%86%D9%88%D8%A6%D9%84%DB%8C +
|
| rdf:type |
http://umbel.org/umbel/rc/Scientist +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/WikicatIsraeliPeople +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/Acquirer109764201 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForComputingMachinery +
, http://dbpedia.org/class/yago/WikicatIsraeliAcademics +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/Recipient109627906 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/ResearchWorker110523076 +
, http://dbpedia.org/class/yago/Honoree110183757 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/WikicatIsraeliMathematicians +
, http://dbpedia.org/class/yago/Laureate110249011 +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatIsraeliComputerScientists +
, http://dbpedia.org/class/yago/WikicatProgrammingLanguageResearchers +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/WikicatTuringAwardLaureates +
, http://dbpedia.org/class/yago/WikicatAmericanComputerScientists +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/WikicatTheoreticalComputerScientists +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatJewishScientists +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/WikicatPeopleFromNahalal +
|
| rdfs:comment |
Amir Pnueli (* 22. April 1941 in Nahalal, … Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet und dafür 1996 den Turing Award verliehen bekommen hat.6 den Turing Award verliehen bekommen hat.
, أمير بنولي (بالعبرية: אמיר פנואלי) (ولد ف … أمير بنولي (بالعبرية: אמיר פנואלי) (ولد في 22 أبريل 1941 في نهلال، فلسطين (قبل الاحتلال) وتوفي 2 نوفمبر 2009 في نيويورك) عالم حاسوب إسرائيلي، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1996 من أجل «العمل الأساسي الذي يقدم المنطق الزمني في علوم الحوسبة وللمساهمات البارزة في التحقق من البرامج والنظام.».ات البارزة في التحقق من البرامج والنظام.».
, 阿米尔·伯努利（英語：Amir Pnueli，1941年4月22日－2009年11月2日），以色列计算机科学家。
, Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d'une hémorragie intra-cérébrale. Il a obtenu le prix Turing et le prix Israël.
, Amir Pnueli (Nahalal, 22 april 1941 - New … Amir Pnueli (Nahalal, 22 april 1941 - New York, 2 november 2009) was een Israëlisch informaticus en wiskundige. Gedurende zijn loopbaan heeft hij veel onderzoek gedaan naar temporele logica en in 1996 ontving hij de Turing Award voor [B]eslissend werk aan de introductie van temporele logica in de informatica en voor buitengewone bijdragen aan de verificatie van programma's en systemen. Daarnaast heeft Pnueli ook twee technologie-bedrijfjes gestart. Pnueli was getrouwd, en laat drie kinderen en een kleinkind na. Hij overleed aan een hersenbloeding.d na. Hij overleed aan een hersenbloeding.
, Amir Pnueli (Nahalal, 22 de abril de 1941 … Amir Pnueli (Nahalal, 22 de abril de 1941 — Nova Iorque, 2 de novembro de 2009) foi um informático israelense. Introduziu a lógica temporal na ciência da computação e contribuiu para a verificação formal de programas e sistemas, recebendo por isto o Prêmio Turing de 1996. Pnueli faleceu em consequência de um derrame.eli faleceu em consequência de um derrame.
, Amir Pnueli (22 aprile 1941 – 2 novembre 2 … Amir Pnueli (22 aprile 1941 – 2 novembre 2009) è stato un matematico, informatico e ricercatore israeliano. Ha ricevuto il Premio Turing nel 1996.Pnueli è nato a Nahalal, nel Mandato britannico della Palestina (ora Israele) e ha conseguito una laurea in matematica presso il Technion di Haifa e un dottorato di ricerca. in matematica applicata dal Weizmann Institute of Science. La sua tesi era sul tema "Calcolo delle maree nell'oceano". È passato all'informatica durante un periodo come borsista post-dottorato presso la Stanford University. I suoi lavori in informatica si sono concentrati sulla logica temporale e sul controllo dei modelli, in particolare per quanto riguarda le proprietà di equità dei sistemi concorrenti.oprietà di equità dei sistemi concorrenti.
, Амир Пнуэли (ивр. אמיר פנואלי, 22 апрел … Амир Пнуэли (ивр. אמיר פנואלי, 22 апреля 1941 года, Нахалаль, Палестина — 2 ноября 2009 года, Нью-Йорк, США) — израильский и американский учёный в области теории вычислительных систем, профессор информатики при Институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование темпоральной логики и её применения в верификации программ.ки и её применения в верификации программ.
, アミール・プヌーリ、ア（ー）ミール・ペヌーエーリー、アミル・ペヌエリ（ヘブライ語: אַמִיר(אָמִיר) פְּנוּאֵלִי a(ā)mīr pənū’ēlī; Amir Pnueli、1941年4月22日 - 2009年11月2日）は、イスラエル人の計算機科学者。
, Amir Pnueli (n. 22 de abril de 1941 - 2 de … Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas. Además, durante su carrera Pnueli ha fundado dos compañías tecnológicas. Estuvo casado, y tuvo tres hijos y un nieto. Falleció el 2 de noviembre de 2009 en Nueva York.ó el 2 de noviembre de 2009 en Nueva York.
, Amir Pnueli (ur. 22 kwietnia 1941 w Nahalal, Izrael, zm. 2 listopada 2009) - informatyk, laureat nagrody Turinga w 1996 za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.
, Amir Pnueli (bahasa Ibrani: אמיר פנואלי; 22 April 1941 – 2 November 2009) adalah seorang Israel dan penerima Penghargaan Turing 1996.
, Амір Пнуелі (івр. אמיר פנואלי; англ. Amir Pnueli; нар.22 квітня 1941 — пом.2 листопада 2009) — ізраїльський вчений-теоретик в галузі комп'ютерних наук, лауреат премії Тюрінга.
, Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
, Profesor Amir Pnueli (hebrejsky: אמיר פנואלי; žil 22. dubna 1941 – 2. listopadu 2009) byl izraelský informatik. Za jeho přínos v oblasti temporální logiky a ověřování programů a systémů mu byla v roce 1996 udělena Turingova cena.
, Amir Pnueli (hebreu: אמיר פנואלי) fou un … Amir Pnueli (hebreu: אמיר פנואלי) fou un informàtic israelià que va guanyar el premi Turing de 1996. Pnueli va néixer a Nahalal, al Mandat Britànic de Palestina (ara Israel) i es va llicenciar en Matematiques al Technion de Haifa, doctorant-se en matemàtica aplicada a l'Institut Weizmann de Ciències. La seva tesi era sobre el "Càlcul de marees a l'oceà". Va canviar-se a la informàtica quan va fer una estada post-doctoral a la Universitat de Stanford. La seva feina en informàtica es va concentrar en la lògica temporal i la verificació de models, en concret sobre les propietats de justícia dels sistemes concurrents.ats de justícia dels sistemes concurrents.
|
| rdfs:label |
Amir Pnueli
, アミール・プヌーリ
, Амір Пнуелі
, أمير بنولي
, Пнуэли, Амир
, 阿米尔·伯努利
|
