Amir Pnueli

Prix

1. 1996

   prix Turing

   Informatique

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