Amir Pnueli
Amir Pnueli | |
![]() | |
Date personale | |
---|---|
Născut | [4] ![]() Nahalal, Palestina sub mandat britanic ![]() |
Decedat | (68 de ani)[5][4] ![]() 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[1] 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)|]][2] Nissim Francez[*][[Nissim Francez (Israeli computer science professor (born 1944))|]][2] Asher Wilk[*][[Asher Wilk (Ph.D. Weizmann Institute of Science 1995)|]][2] Lenore Zuck[*][[Lenore Zuck (Israeli-American computer scientist)|]][2] Yonit Kesten[*][[Yonit Kesten (Ph.D. Weizmann Institute of Science 1995)|]][2] Yair Eran[*][[Yair Eran (Ph.D. Weizmann Institute of Science 1989)|]][2] Oded Maler[*][[Oded Maler (Ph.D. Weizmann Institute of Science 1990)|]][2] Orna Lichtenstein[*][[Orna Lichtenstein (Ph.D. Weizmann Institute of Science 1991)|]][2] Roni Rosner[*][[Roni Rosner (Ph.D. Weizmann Institute of Science 1992)|]][2] ...î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))|]] ()[1] doctorat honoris causa de l'université Grenoble-I[*][[doctorat honoris causa de l'université Grenoble-I |]] ()[3] ![]() |
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 https://www.acm.org/media-center/2007/december/acm-names-38-fellows-for-computing-and-it-innovations-in-industry-education-entertainment, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ 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! |