Amir Pnueli
for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification
受賞時の所属
Rehovot, イスラエル
永続的な影響を与える作品に対する表彰
for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification
Rehovot, イスラエル