Amir Pnueli

Amir Pnueli
Date personale
Născut[1]
Nahalal, Palestina sub mandat britanic
Decedat (68 de ani)[2][1]
New York City, New York, SUA
Cauza decesuluicauze naturale (hemoragie cerebrală)
Cetățenie Israel
Ocupațieinformatician
inginer
pedagog[*]​
cadru didactic universitar[*]​
matematician
Locul desfășurării activitățiiInstitutul de știință Weizmann
Activitate
Domeniuinformatică 
Număr Erdős2 
InstituțieInstitutul Weizmann
Universitatea New York
Alma MaterTechnion
Institutul de știință Weizmann 
OrganizațiiAcademia Națională de Științe a Israelului
Association for Computing Machinery[3]
National Academy of Engineering[*][[National Academy of Engineering (engineering branch of the United States National Academies)|​]] 
Conducător de doctoratChaim L. Pekeris[*][[Chaim L. Pekeris (Israeli geophysicist and mathematician (1908–1993))|​]] 
DoctoranziDan Zakay[*]​
Mordechai Ben-Ari[*][[Mordechai Ben-Ari (Israeli computer scientist)|​]][4]
Nissim Francez[*][[Nissim Francez (Israeli computer science professor (born 1944))|​]][4]
Asher Wilk[*]​[4]
Lenore Zuck[*][[Lenore Zuck (Israeli-American computer scientist)|​]][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 
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] 
Prezență online

Amir Pnueli (în ebraică אמיר פנואלי; n. , Nahalal, Palestina sub mandat britanic – d. , 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


Acest articol este emis de la Wikipedia. Textul este licențiat sub Creative Commons - Attribution - Sharealike. Se pot aplica termeni suplimentari pentru fișierele media.