E. Allen Emerson

Ernest Allen Emerson II (June 2, 1954 – October 15, 2024) was an American computer scientist. He won the 2007 Turing Award. He was Professor and Regents Chair at the University of Texas at Austin. Emerson was born in Dallas, Texas. Emerson known for his work with Edmund M. Clarke and Joseph Sifakis for the invention and
development of model checking. 

Emerson died at his home in Austin, Texas on October 15, 2024, at the age of 70.

References

Other websites
 E. Allen Emerson homepage at the University of Texas at Austin

Category:1954 births
Category:2024 deaths
Category:American computer scientists
Category:Academics from Texas
Category:Scientists from Dallas
Category:Scientists from Austin, Texas
Category:American inventors
Category:Turing Award winners