Amir Pnueli
Amir Pnueli | |
![]() | |
Date personale | |
---|---|
Născut | [3] ![]() Nahalal, Palestina sub mandat britanic ![]() |
Decedat | (68 de ani)[4][3] ![]() 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[*][[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))|]] () Doctorat honoris causa de l'université Grenoble-I[*][[Doctorat honoris causa de l'université Grenoble-I |]] ()[2] ![]() |
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
- ^ Journal officiel de la République française. Document administratif,
- ^ 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! |