Amir Pnueli

De la Wikipedia, enciclopedia liberă
Sari la navigare Sari la căutare
Amir Pnueli
Amir Pnueli.jpg
Date personale
Născut[2] Modificați la Wikidata
Nahalal, era⁠(d), Palestina sub mandat britanic Modificați la Wikidata
Decedat (68 de ani)[3][2] Modificați la Wikidata
New York City, New York, SUA Modificați la Wikidata
Cauza decesuluicauze naturale (hemoragie cerebrală) Modificați la Wikidata
CetățenieFlag of Israel.svg Israel Modificați la Wikidata
Ocupațieinformatician
inginer
pedagog[*]
profesor 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ősModificați la Wikidata
InstituțieInstitutul Weizmann
Universitatea New York
Alma MaterTechnion
Institutul de știință Weizmann  Modificați la Wikidata
OrganizațiiAcademia Națională de Științe a Israelului
Association for Computing Machinery
US National Academy of Engineering[*][[US National Academy of Engineering (engineering branch of the United States National Academies)|​]]  Modificați la Wikidata
Conducător de doctorat Chaim L. Pekeris[*][[Chaim L. Pekeris (Geophysics)|​]]  Modificați la Wikidata
DoctoranziDan Zakay[*]
Mordechai Ben-Ari[*][[Mordechai Ben-Ari (Israeli computer scientist)|​]]
Nissim Francez[*][[Nissim Francez (Israeli computer science professor (born 1944))|​]][1]
Asher Wilk[*][[Asher Wilk (Ph.D. Weizmann Institute of Science 1995)|​]][1]
Lenore Zuck[*][[Lenore Zuck (Ph.D. Weizmann Institute of Science 1987)|​]][1]
Yonit Kesten[*][[Yonit Kesten (Ph.D. Weizmann Institute of Science 1995)|​]][1]
Yair Eran[*][[Yair Eran (Ph.D. Weizmann Institute of Science 1989)|​]][1]
Oded Maler[*][[Oded Maler (Ph.D. Weizmann Institute of Science 1989)|​]][1]
Orna Lichtenstein[*][[Orna Lichtenstein (Ph.D. Weizmann Institute of Science 1991)|​]][1]
Roni Rosner[*][[Roni Rosner (Ph.D. Weizmann Institute of Science 1992)|​]][1]
Rivka Zarhy-Sherman[*][[Rivka Zarhy-Sherman (Ph.D. Weizmann Institute of Science 1985)|​]][1]
Dov Dori[*][[Dov Dori (Ph.D. Weizmann Institute of Science 1988)|​]][1]
Giora Slutzki[*][[Giora Slutzki (Ph.D. Tel Aviv University 1977)|​]][1]
Doron A. Peled[*][[Doron A. Peled (Israeli computer scientist)|​]][1]
Hillel Kugler[*][[Hillel Kugler (Ph.D. Weizmann Institute of Science 2004)|​]][1]
Mordechai Ben-Ari[*][[Mordechai Ben-Ari (Ph.D. Tel Aviv University 1982)|​]][1]
Ofer Strichman[*][[Ofer Strichman (Ph.D. Weizmann Institute of Science 2001)|​]][1]
Gera Weiss[*][[Gera Weiss (researcher ORCID ID = 0000-0002-5832-8768)|​]][1]
Raya (Rosenfeld) Leviathan[*][[Raya (Rosenfeld) Leviathan (Ph.D. Weizmann Institute of Science 2005)|​]][1]
Yi Fang[*][[Yi Fang (Ph.D. New York University 2006)|​]][1]
Elad Shahar[*][[Elad Shahar (Ph.D. Weizmann Institute of Science 2002)|​]][1]
Ariel Cohen[*][[Ariel Cohen (Ph.D. New York University 2008)|​]][1]
Sitvanit Ruah[*][[Sitvanit Ruah (Ph.D. Weizmann Institute of Science 2003)|​]][1]
Ittai Balaban[*][[Ittai Balaban (Ph.D. New York University 2007)|​]][1]
Uri Klein[*][[Uri Klein (Ph.D. New York University 2011)|​]][1]
Yaniv Sa'ar[*][[Yaniv Sa'ar (Ph.D. Weizmann Institute of Science 2011)|​]][1]
Dana Fisman[*][[Dana Fisman (Ph.D. Weizmann Institute of Science 2006)|​]][1]  Modificați la Wikidata
PremiiPremiul Israel[*] ()
Premiul Turing ()
ACM Software System Award[*][[ACM Software System Award (award by the Association for Computing Machinery)|​]] ()
ACM Fellow[*][[ACM Fellow (Award granted by the Association for Computing Machinery (ACM))|​]] ()  Modificați la Wikidata
Prezență online

Amir Pnueli (în ebraică אמיר פנואלי; n. ,[2] Nahalal, era⁠(d), Palestina sub mandat britanic – d. ,[3][2] New York City, New York, 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. ^ a b c d e f g h i j k l m n o p q r s t u v w x y Genealogia matematicienilor 
  2. ^ a b c d Amir Pnueli, Autoritatea BnF 
  3. ^ a b http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html  Lipsește sau este vid: |title= (ajutor)