Ernest Allen Emerson II
|Education||Harvard (PhD 1981)|
|Awards||Paris Kanellakis Theory and Practice Award (1998)|
Turing Award (2007)
|Institutions||University of Texas, Austin, United States|
|Doctoral advisor||Edmund M. Clarke|
He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for the invention and development of model checking. He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for symbolic model checking.
[…] authored seminal papers that founded what has become the highly successful field of Model Checking.