E. Allen Emerson

* June 2, 1954, Dallas, 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.