Awards & Winners

1996 Turing Award

Check winners and nominations of 1996 Turing Award. Check awards winners of 1996 Turing Award. (Click on the Award name to show winners and nominees)

Turing Award

Amir Pnueli

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