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 decesului | cauze naturale (hemoragie cerebrală) |
| Cetățenie | Israel |
| Ocupație | informatician inginer pedagog[*] cadru didactic universitar[*] matematician |
| Locul desfășurării activității | Institutul de știință Weizmann |
| Activitate | |
| Domeniu | informatică |
| Număr Erdős | 2 |
| Instituție | Institutul Weizmann Universitatea New York |
| Alma Mater | Technion Institutul de știință Weizmann |
| Organizații | Academia Națională de Științe a Israelului Association for Computing Machinery National Academy of Engineering[*] |
| Conducător de doctorat | Chaim L. Pekeris[*] |
| Doctoranzi | Dan Zakay[*] Mordechai Ben-Ari[*][3] Nissim Francez[*][3] Asher Wilk[*][3] Lenore Zuck[*][3] Yonit Kesten[*][3] Yair Eran[*][3] Oded Maler[*][3] Orna Lichtenstein[*][3] Roni Rosner[*][3] ...încă 17 |
| Premii | Premiul Israel () Premiul Turing () ACM Software System Award[*] () ACM Fellow[*] () |
| Prezență online | |
Note
- Amir Pnueli, Autoritatea BnF
- http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html Lipsește sau este vid:
|title=(ajutor) - 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.