Edmund M. Clarke

Premios

1. 2007

   Premio Turing

   Informática

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