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
Afiliado al momento del premio
Universidad de Texas en Austin
Austin, Estados Unidos