Amir Pnueli
| Naissance | |
|---|---|
| Décès | |
| Nom dans la langue maternelle |
אמיר פנואלי |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse |
Chaim L. Pekeris (en) |
| Site web | |
| Distinctions |
Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le et mort le d'une hémorragie intra-cérébrale[1],[2].
Il a obtenu le prix Turing et le prix Israël.
Biographie[modifier | modifier le code]
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[modifier | modifier le code]
- 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[modifier | modifier le code]
- (en) Page personnelle
- Ressources relatives à la recherche :
- Personnalité israélienne de l'informatique
- Personnalité en méthodes formelles
- Docteur honoris causa de l'université Grenoble 1
- Étudiant du Technion
- Étudiant de l'Institut Weizmann
- Professeur à l'Institut Weizmann
- Professeur à l'université de New York
- Lauréat du prix Turing
- Lauréat du prix Israël
- Membre de l'Académie israélienne des sciences et lettres
- Naissance en avril 1941
- Décès en novembre 2009
- Mort d'une hémorragie cérébrale
- Décès à 68 ans