E. Allen Emerson
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Affilié au moment de l'attribution du prix
Austin, États-Unis
La reconnaissance d'un travail ayant un impact durable
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Austin, États-Unis