Amir Pnueli (né le 22 Avril 1941) est un informaticien israélien qui 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 ».

Amir Pnueli est actuellement professeur à l'Institut Weizmann en Israël.

Liens externes

• Page personnelle

Amir Pnueli | אמיר פנואלי | Amir Pnueli | Amir Pnueli

informaticien