Edmund M. Clarke

Awards

1. 2007

   Turing Award

   CS

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