Awards & Winners

Amir Pnueli

Date of Birth 22-April-1941
Place of Birth Nahalal
(Lower Galilee, Israel)
Nationality Israel, United States of America
Profession Computer Scientist
Amir Pnueli was an Israeli computer scientist.

Awards by Amir Pnueli

Check all the awards nominated and won by Amir Pnueli.

1996


Turing Award
(for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.)