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
Affiliated at time of winning
Austin, 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
Austin, United States