Amir Pnueli () est un informaticien israélien né le et mort le d'une hémorragie intra-cérébrale, 3 novembre 2009 : « », The New York Times, 14 novembre 2009..
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 1Université Joseph-Fourier - Grenoble 1..
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
Liens externes Page personnelle
Catégorie:Personnalité israélienne de l'informatique Catégorie:Personnalité en méthodes formelles Catégorie:Docteur honoris causa de l'université Grenoble 1 Catégorie:Étudiant du Technion Catégorie:Étudiant de l'Institut Weizmann Catégorie:Professeur à l'Institut Weizmann Catégorie:Professeur à l'université de New York Catégorie:Lauréat du prix Turing Catégorie:Lauréat du prix Israël Catégorie:Membre de l'Académie israélienne des sciences et lettres Catégorie:Naissance en avril 1941 Catégorie:Naissance en Palestine mandataire Catégorie:Décès en novembre 2009 Catégorie:Décès à New York Catégorie:Mort d'une hémorragie cérébrale Catégorie:Décès à 68 ans