E. Allen Emerson
* June 2, 1954, Dallas, Texas, USA
✝ October 15, 2024, Austin, Texas, USA
ACM A.M. Turing Award - 2007
Together with Edmund Clarke and Joseph Sifakis, for their role in developing Model Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.