Amir Pnueli
Un article de Wikipédia, l'encyclopédie libre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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.
[modifier] Liens externes
Lauréats du prix Turing