COMPUTER SCIENTIST

E. Allen Emerson

1954 - 2024

Photo of E. Allen Emerson

Icon of person E. Allen Emerson

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. His contributions to temporal logic and modal logic include the introduction of computation tree logic (CTL) and its extension CTL*, which are used in the verification of concurrent systems. Read more on Wikipedia

His biography is available in 26 different languages on Wikipedia (up from 24 in 2024). E. Allen Emerson is the 130th most popular computer scientist (up from 151st in 2024), the 7,188th most popular biography from United States (up from 8,943rd in 2019) and the 75th most popular American Computer Scientist.

Memorability Metrics

Loading...

Page views of E. Allen Emerson by language

Loading...

Among COMPUTER SCIENTISTS

Among computer scientists, E. Allen Emerson ranks 130 out of 245. Before him are Sergey Lebedev, David A. Huffman, Ivar Jacobson, Karen Spärck Jones, Peter Norton, and Edmund M. Clarke. After him are Abraham Lempel, Bill Joy, Robert Taylor, Christos Papadimitriou, Jack Dongarra, and Andy Rubin.

Most Popular Computer Scientists in Wikipedia

Go to all Rankings
Load previousLoad previous

Contemporaries

Among people born in 1954, E. Allen Emerson ranks 324. Before him are Tahar Djaout, Hōchū Ōtsuka, Spagna, Ariane Ascaride, Norihito, Prince Takamado, and Carter Burwell. After him are Gilbert Duclos-Lassalle, Hideki Maeda, Hansi Hinterseer, Bob Rock, Ellen von Unwerth, and Bill Joy. Among people deceased in 2024, E. Allen Emerson ranks 348. Before him are Terry Griffiths, Ray Reardon, John Bruton, Iryna Farion, Takayuki Kubota, and Karin Baal. After him are Artur Chilingarov, Tommy Banks, Shyam Benegal, Ștefan Birtalan, Andrew Davis, and Liang Guanglie.

Others Born in 1954

Go to all Rankings
Load previousLoad previous

Others Deceased in 2024

Go to all Rankings
Load previousLoad previous

In United States

Among people born in United States, E. Allen Emerson ranks 7,190 out of 20,380. Before him are Elizabeth Berkley (1972), Michael Cristofer (1945), William M. Evarts (1818), Carter Burwell (1954), Buffy Sainte-Marie (1941), and Monique Alexander (1982). After him are Bob McAdoo (1951), Galo Plaza (1906), Kelsey Chow (1991), Bill Johnston (1894), David Eddings (1931), and Dennis Russell Davies (1944).

Others born in United States

Go to all Rankings
Load previousLoad previous

Among COMPUTER SCIENTISTS In United States

Among computer scientists born in United States, E. Allen Emerson ranks 75. Before him are Adele Goldberg (1945), Eugene Garfield (1925), Gil Amelio (1943), David A. Huffman (1925), Peter Norton (1943), and Edmund M. Clarke (1945). After him are Bill Joy (1954), Robert Taylor (1932), Jack Dongarra (1950), Andy Rubin (1963), Anita Borg (1949), and James Rumbaugh (1947).

American born Computer Scientists

Go to all Rankings
Load previousLoad previous