E. Allen Emerson
American computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about E. Allen Emerson?
Summarize this article for a 10 year old
Ernest Allen Emerson II (born June 2, 1954), better known as E. Allen Emerson, is an American computer scientist and winner of the 2007 Turing Award. He is Professor and Regents Chair Emeritus at the University of Texas at Austin, United States.
E. Allen Emerson | |
---|---|
Born | (1954-06-02) June 2, 1954 (age 69) |
Citizenship | United States |
Education | |
Known for | |
Awards |
|
Scientific career | |
Fields | Computer science |
Institutions | UT Austin, United States |
Doctoral advisor | Edmund M. Clarke |
Emerson is recognized 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]