Edmund M. Clarke

Prix

1. 2007

   prix Turing

   Informatique

   for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries