Jump to content

E. Allen Emerson

From Simple English Wikipedia, the free encyclopedia

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.[1][2]

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

References

[change | change source]
  1. "E. Allen Emerson - A.M. Turing Award Laureate". amturing.acm.org. Retrieved 2022-09-02.
  2. Clarke, Edmund M.; Emerson, E. Allen (1982). "Design and synthesis of synchronization skeletons using branching time temporal logic". In Kozen, Dexter (ed.). Logics of Programs. Lecture Notes in Computer Science. Vol. 131. Berlin, Heidelberg: Springer. pp. 52–71. doi:10.1007/BFb0025774. ISBN 978-3-540-39047-3.
  3. "WE BID FAREWELL TO E. ALLEN EMERSON". Heidelberg Laureate Forum Foundation. Retrieved 19 October 2024.
  4. "Ernest "Allen" Emerson II". Weed Corley Fish Funeral Homes and Cremation Services. Retrieved October 20, 2024.

Other websites

[change | change source]