Amir Pnueli
Amir Pnueli · Technologie & ingénierie
Juif né en Israël et élevé au moshav de Nahalal, Pnueli étudia d'abord les mathématiques au Technion avant de se tourner vers l'informatique.
1941, Nahalal, Mandat britannique de Palestine (aujourd'hui Israël) — 2009, New York, États-Unis
Israël (Weizmann Institute · Tel Aviv University) · États-Unis (New York University)
Juif né en Israël et élevé au moshav de Nahalal, Pnueli étudia d'abord les mathématiques au Technion avant de se tourner vers l'informatique. Dans un article fondateur de 1977, il introduisit la logique temporelle — un langage formel du « toujours » et du « finalement » — comme moyen rigoureux de spécifier et vérifier le comportement des programmes concurrents et réactifs dans le temps. Ce travail fonda la vérification formelle et lui valut le prix Turing 1996 ; il compte car il permet de prouver mathématiquement qu'un logiciel critique ne défaillira pas.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jewish recipients of the Turing Award
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Juif né en Israël et élevé au moshav de Nahalal, Pnueli étudia d'abord les mathématiques au Technion avant de se tourner vers l'informatique.
Source : Jinfo.org — Jewish recipients of the Turing Award
