Amir Pnueli
Le Pr Amir Pnueli en janvier 2005

Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d'une hémorragie intra-cérébrale[1],[2]. Il a obtenu le Prix Turing et le Prix Israël.

Biographie

Amir Pnueli est né dans le moshav Nahalal en 1941. Son père, qui était enseignant, a fondé le département de littérature hébraïque de l'université de Tel-Aviv. En 1945, sa famille déménage pour Holon. Il étudie les mathématiques au Technion à Haifa, puis passe son doctorat à l'Institut Weizmann de Rehovot sous la direction du professeur Haïm Leib Pekeris.

Amir Pnueli a reçu le Prix Turing en 1996 pour un « travail fondateur introduisant la logique temporelle en informatique et pour des contributions exceptionnelles à la vérification des programmes et systèmes ». Ses travaux ont notamment porté sur les notions de vivacité et d'équité dans les systèmes concurrents et à leur intégration dans les techniques de model checking.

Amir Pnueli était récemment professeur à l'Institut Weizmann en Israël et à New York University, aux États-Unis d'Amérique.

Références

  1. Weizman Institute Faculty of Mathematics and Computer Science, 2009-11-03: "With deep sorrow we announce the demise of Professor Amir Pnueli on November 2, 2009."
  2. New York Times, 14 novembre 2009, Amir Pnueli, Pioneer of Temporal Logic, Dies at 68

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Amir Pnueli de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Amir Pnueli — Saltar a navegación, búsqueda Amir Pnueli Nacimiento 22 de abril de 1941 Nahalal, Israel …   Wikipedia Español

  • Amir Pnueli — 2005 Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die …   Deutsch Wikipedia

  • Amir Pnueli — Infobox Scientist name = Amir Pnueli image width = 150px caption = birth date = Birth date and age|1941|4|22|mf=y birth place = Nahalal, Israel death date = death place = residence = citizenship = nationality = Israeli ethnicity = field =… …   Wikipedia

  • Pnueli — Amir Pnueli 2005 Amir Pnueli (* 22. April 1941 in Nahalal, Palästina) ist ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen… …   Deutsch Wikipedia

  • Amir — (arabe : امیر) est un prénom arabe qui signifie prince. Il possède la même étymologie que émir. Le féminin de ce prénom est Amira. On le rapproche de prénoms germaniques formés à l aide de rik, le roi, par exemple Éric ; il est donc… …   Wikipédia en Français

  • PNUELI, AMIR — (1941– ), Israeli computer scientist. Born in Nahalal, Israel, he gained his B.Sc. in mathematics from the Haifa Technion and Ph.D. in applied mathematics from the Weizmann Institute for his thesis on calculating ocean tides. His interest in… …   Encyclopedia of Judaism

  • Пнуели, Амир — Амир Пнуели אמיר פנואלי Амир Пнуели, 1996 год …   Википедия

  • Weizmann Institute of Science — Infobox University name = Weizmann Institute of Science native name = מכון ויצמן למדע latin name = motto = established = 1949 type = Public endowment = staff = faculty = president = Prof. Daniel Zajfman provost = principal = rector = chancellor …   Wikipedia

  • Instituto Weizmann de Ciencias — מכון ויצמן למדע Instituto Weizmann de Ciencias Tipo Pública Fundación 1949 Localización Dirección Rehovot Israel …   Wikipedia Español

  • List of Israel Prize recipients — This is a partial list of winners of the Israel Prize.By year2008*David Weiss Halivni Talmud *Moshe Oren Biochemistry *Noga Alon Mathematics *Nissan Nativ Theater cite news |first=|last=|title=Nissan Nativ dead at 86: Prominent Israeli theater… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”