Amir Pnueli
| Amir Pnueli | |
 Amir Pnueli | |
| Date personale | |
|---|---|
| Născut |  Nahalal[*], Palestina sub mandat britanic |
| Decedat | (68 de ani)[1] New York, SUA |
| Cauza decesului | cauze naturale[*] (hemoragie cerebrală[*]) |
| Cetățenie |  Israel |
| Ocupație | informatician inginer pedagog[*] profesor universitar matematician |
| 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 |
| Conducător de doctorat | Chaim L. Pekeris[*] |
| Doctoranzi | Dan Zakay[*] |
| 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. ,[1] 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ă]
- ^ a b http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html Lipsește sau este vid:
|title=(ajutor)
| |||||
| Acest articol biografic despre un israelian este un ciot. Puteți ajuta Wikipedia prin completarea lui! |
