Amir Pnueli

Biographie
Naissance	22 avril 1941; Nahalal
Décès	2 novembre 2009 (à 68 ans); New York
Nom dans la langue maternelle	אמיר פנואלי
Nationalité	israélienne
Formation	Technion; Institut Weizmann
Activités	Informaticien, professeur d'université, pédagogue, ingénieur, mathématicien
A travaillé pour	Université de New York; Université de Tel Aviv; École d'ingénierie Tandon de l'université de New York
Membre de	Académie nationale d'ingénierie des États-Unis (1999); Association for Computing Machinery; Académie israélienne des sciences et lettres
Directeur de thèse	Chaim L. Pekeris (en)
Site web	www.wisdom.weizmann.ac.il/~amir
Distinctions	Prix Turing (1996); Liste détaillée Prix Turing (1996); Prix Israël (2000); Prix ACM Software System (2007); ACM Fellow (2007)

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

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 à Haïfa, 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. En 1998, il reçoit le titre de docteur honoris causa de l'université Joseph-Fourier - Grenoble 1^[3].

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

Références

↑ Weizman Institute Faculty of Mathematics and Computer Science, 3 novembre 2009 : « With deep sorrow we announce the demise of Professor Amir Pnueli on November 2, 2009. »
↑ (en) « Amir Pnueli, Pioneer of Temporal Logic, Dies at 68 », The New York Times, 14 novembre 2009.
↑ Université Joseph-Fourier - Grenoble 1.

Liens externes

(en) Page personnelle
Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Tchéquie
- WorldCat

Portail de l’informatique

[1] Weizman Institute Faculty of Mathematics and Computer Science, 3 novembre 2009 : « With deep sorrow we announce the demise of Professor Amir Pnueli on November 2, 2009. »

[2] (en) « Amir Pnueli, Pioneer of Temporal Logic, Dies at 68 », The New York Times, 14 novembre 2009.

[3] Université Joseph-Fourier - Grenoble 1.

[1]

[2]

[3]