Sari la conținut

Amir Pnueli

De la Wikipedia, enciclopedia liberă
Amir Pnueli
Date personale
Născut[1] Modificați la Wikidata
Nahalal, Palestina Mandatară Modificați la Wikidata
Decedat (68 de ani)[2][1] Modificați la Wikidata
New York City, SUA Modificați la Wikidata
Cauza decesuluicauze naturale (hemoragie cerebrală) Modificați la Wikidata
Cetățenie Israel Modificați la Wikidata
Ocupațieinformatician
inginer
pedagog[*]​
cadru didactic universitar[*]​
matematician Modificați la Wikidata
Locul desfășurării activitățiiInstitutul de știință Weizmann Modificați la Wikidata
Activitate
Domeniuinformatică  Modificați la Wikidata
Număr Erdős2  Modificați la Wikidata
InstituțieInstitutul Weizmann
Universitatea New York
Alma MaterUniversitatea Technion
Institutul de știință Weizmann  Modificați la Wikidata
OrganizațiiAcademia Națională de Științe a Israelului
Association for Computing Machinery[3]
National Academy of Engineering[*]​  Modificați la Wikidata
Conducător de doctoratChaim L. Pekeris[*][[Chaim L. Pekeris (Israeli geophysicist and mathematician (1908–1993))|​]]  Modificați la Wikidata
DoctoranziDan Zakay[*]​
מרדכי בן ארי[*][[מרדכי בן ארי (Israeli computer scientist)|​]][4]
נסים פרנסיז[*][[נסים פרנסיז (Israeli computer science professor (born 1944))|​]][4]
Asher Wilk[*]​[4]
Lenore Zuck[*]​[4]
Yonit Kesten[*]​[4]
Yair Eran[*]​[4]
Oded Maler[*][[Oded Maler (Ph.D. Weizmann Institute of Science 1990)|​]][4]
Orna Lichtenstein[*][[Orna Lichtenstein (Ph.D. Weizmann Institute of Science 1991)|​]][4]
Roni Rosner[*]​[4]
...încă 17  Modificați la Wikidata
PremiiPremiul Israel ()
premiul Turing ()
ACM Software System Award[*][[ACM Software System Award (award by the Association for Computing Machinery)|​]] ()[5]
ACM Fellow[*][[ACM Fellow (award granted by the Association for Computing Machinery (ACM))|​]] ()[3]
doctorat honoris causa de l'université Grenoble-I[*][[doctorat honoris causa de l'université Grenoble-I |​]] ()[6]  Modificați la Wikidata
Prezență online
Modifică date / text Consultați documentația formatului

Amir Pnueli (în ebraică אמיר פנואלי; n. , Nahalal, Palestina Mandatară – d. , New York City, SUA) a fost un informatician israelian, laureat al Premiului Turing în 1996, care, conform comisiei de acordare, i-a fost conferit pentru lucrări de referință ce au introdus logica temporală în informatică și pentru remarcabile contribuții în domeniul verificării programelor și sistemelor.

Note

[modificare | modificare sursă]
  1. 1 2 Bibliothèque nationale de France. „Amir Pnueli” (în franceză). Autoritatea BnF[*]. Wikidata Q19938912.
  2. ↑ http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html. Lipsește sau este vid: |title= (ajutor)
  3. 1 2 https://www.acm.org/media-center/2007/december/acm-names-38-fellows-for-computing-and-it-innovations-in-industry-education-entertainment. Accesat în . Lipsește sau este vid: |title= (ajutor)
  4. 1 2 3 4 5 6 7 8 9 „Amir Pnueli” (în engleză). Genealogia matematicienilor. Wikidata Q829984.
  5. ↑ https://awards.acm.org/newell/award-recipients. Lipsește sau este vid: |title= (ajutor)
  6. ↑ „Journal officiel de la République française” (în franceză). . ISSN 0242-6773. Wikidata Q1815103.


 Acest articol biografic despre un israelian este un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la https://ro.wikipedia.org/w/index.php?title=Amir_Pnueli&oldid=15540473