E. Allen Emerson
American computer scientist (1954–2024)
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]
.jpg)
Emerson died at his home in Austin, Texas on October 15, 2024, at the age of 70.[3][4]
References
change- ↑ "E. Allen Emerson - A.M. Turing Award Laureate". amturing.acm.org. Retrieved 2022-09-02.
- ↑ 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.
- ↑ "WE BID FAREWELL TO E. ALLEN EMERSON". Heidelberg Laureate Forum Foundation. Retrieved 19 October 2024.
- ↑ "Ernest "Allen" Emerson II". Weed Corley Fish Funeral Homes and Cremation Services. Retrieved October 20, 2024.
Other websites
change- E. Allen Emerson homepage at the University of Texas at Austin
This short article about a person from the United States can be made longer. You can help Wikipedia by adding to it.