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 | ![]() ![]() |
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ă]
|