Amir Pnueli
for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification
Affilié au moment de l'attribution du prix
Rehovot, Israël
La reconnaissance d'un travail ayant un impact durable
for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification
Rehovot, Israël