Edmund M. Clarke
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Affiliated at time of winning
Pittsburgh, United States
Recognition for work with lasting impact
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Pittsburgh, United States