Amir Pnueli
for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification
Afiliado al momento del premio
Instituto Weizmann de Ciencias
Rehovot, Israel
Reconocimiento al trabajo con impacto duradero
for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification
Instituto Weizmann de Ciencias
Rehovot, Israel