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.