Amir Pnueli

for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification

Affiliated at time of winning

Rehovot, Israel