Biography
Ernest Allen Emerson II (June 2, 1954 – October 15, 2024) was an American computer scientist and winner of the 2007 Turing Award . He was a professor at the University of Texas at Austin from 1981 to 2016. Emerson is credited together with Edmund M. Clarke and Joseph Sifakis for the invention and development of model checking , a technique used in formal verification of software and hardware. [ 1 ] His contributions to temporal logic and modal logic include the introduction of computation tree logic (CTL) [ 2 ] and its extension CTL* , [ 3 ] which are used in the verification of concurrent systems . He is also recognized along with others for developing symbolic model checking to address combinatorial explosion that arises in many model checking algorithms. [ 4 ] Emerson was born in Dallas, Texas , on June 2, 1954. His early experiences with computing included exposure to BASIC , Fortran , and ALGOL 60 on the Dartmouth Time-Sharing System and Burroughs large systems computers. [ 1 ] He went on to receive a Bachelor of Science degree in mathematics from the University of Texas at Austin in 1976 and a Doctor of Philosophy degree in applied mathematics at Harvard University in 1981. [ 1 ] Fields: Computer science Education: University of Texas, Austin BS Harvard University MS PhD Award Citation: Turing Award (2007) Paris Kanellakis Award (1998)
About the Turing Award
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in computer science and is colloquially known as the "Nobel Prize of Computing."
Quick Facts
- Award: ACM A.M. Turing Award
- Added: 2026-02-07
- Source: Wikipedia
- Prize: $1,000,000 (USD)
- Presented by: ACM
Browse More
Notable Winners
- Donald Knuth (1974)
- Tim Berners-Lee (2016)
- Geoffrey Hinton (2018)
- Yoshua Bengio (2018)
- Yann LeCun (2018)