Amir Pnueli
Amir Pnueli | |
Date personale | |
---|---|
Născut | [2] Nahalal, Palestina sub mandat britanic |
Decedat | (68 de ani)[3][2] 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[*][1] Nissim Francez[*][1] Asher Wilk[*][1] Lenore Zuck[*][1] Yonit Kesten[*][1] Yair Eran[*][1] Oded Maler[*][1] Orna Lichtenstein[*][1] Roni Rosner[*][1] ...încă 17 |
Premii | Premiul Israel () Premiul Turing () ACM Software System Award[*] () ACM Fellow[*] () |
Prezență online | |
Modifică date / text |
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[modificare | modificare sursă]
|