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[*][[National Academy of Engineering (engineering branch of the United States National Academies)|]] |
Conducător de doctorat | Chaim L. Pekeris[*][[Chaim L. Pekeris (Israeli geophysicist and mathematician)|]] |
Doctoranzi | Dan Zakay[*] Mordechai Ben-Ari[*][[Mordechai Ben-Ari (Israeli computer scientist)|]][1] Nissim Francez[*][[Nissim Francez (Israeli computer science professor (born 1944))|]][1] Asher Wilk[*][[Asher Wilk (Ph.D. Weizmann Institute of Science 1995)|]][1] Lenore Zuck[*][[Lenore Zuck (Israeli-American computer scientist)|]][1] Yonit Kesten[*][[Yonit Kesten (Ph.D. Weizmann Institute of Science 1995)|]][1] Yair Eran[*][[Yair Eran (Ph.D. Weizmann Institute of Science 1989)|]][1] Oded Maler[*][[Oded Maler (Ph.D. Weizmann Institute of Science 1990)|]][1] Orna Lichtenstein[*][[Orna Lichtenstein (Ph.D. Weizmann Institute of Science 1991)|]][1] Roni Rosner[*][[Roni Rosner (Ph.D. Weizmann Institute of Science 1992)|]][1] ...încă 17 |
Premii | Premiul 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 | |
site web oficial | |
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
- ^ a b c d e f g h i Genealogia matematicienilor
- ^ a b c d Amir Pnueli, Autoritatea BnF
- ^ 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! |