![](/fileadmin/content/acm-turing-award.jpg)
Amir Pnueli
* April 22, 1941, Nahalal, Israel
✝ November 2, 2009, New York, USA
ACM A.M. Turing Award - 1996
For seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.