Amir Pnueli
| Image manquante Symbole-science.png | Cet article est une ébauche concernant la science, vous pouvez partager vos connaissances en le modifiant. |
Image manquante
Amir_Pnueli.jpg
Pr Amir Pnueli
Amir_Pnueli.jpg
Pr Amir Pnueli
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.