Amir Pnueli

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.

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
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)|​]] 
DoctoranziDan Zakay[*]​
Mordechai Ben-Ari[*][[Mordechai Ben-Ari (Israeli computer scientist)|​]][3]
Nissim Francez[*][[Nissim Francez (Israeli computer science professor (born 1944))|​]][3]
Asher Wilk[*][[Asher Wilk (Ph.D. Weizmann Institute of Science 1995)|​]][3]
Lenore Zuck[*][[Lenore Zuck (Israeli-American computer scientist)|​]][3]
Yonit Kesten[*][[Yonit Kesten (Ph.D. Weizmann Institute of Science 1995)|​]][3]
Yair Eran[*][[Yair Eran (Ph.D. Weizmann Institute of Science 1989)|​]][3]
Oded Maler[*][[Oded Maler (Ph.D. Weizmann Institute of Science 1990)|​]][3]
Orna Lichtenstein[*][[Orna Lichtenstein (Ph.D. Weizmann Institute of Science 1991)|​]][3]
Roni Rosner[*][[Roni Rosner (Ph.D. Weizmann Institute of Science 1992)|​]][3]
...încă 17 
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))|​]] () 
Prezență online

Note
  1. Amir Pnueli, Autoritatea BnF
  2. http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html Lipsește sau este vid: |title= (ajutor)
  3. Genealogia matematicienilor


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.