Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
E. Allen Emerson
Table of Contents
Introduction References & Edit History Quick Facts & Related Topics
Quizzes
computer chip. computer. Hand holding computer chip. Central processing unit (CPU). history and society, science and technology, microchip, microprocessor motherboard computer Circuit Board
Computers and Technology Quiz
Related Questions
Read Next
bunch of numbers
Unusual Counting Systems
Programming computer abstract
Influential Computer Programming Languages
number zero, 0 balloon
Is Zero an Even or an Odd Number?
Smoke rises from the sniper's gun as he fired from the tower of the University of Texas administration building in Austin, on crowds below. Police identified the slayer of at least 16 persons as Charles J. Whitman (Charles Whitman), 24,
50th Anniversary of Texas Tower Shooting
Discover
Nativity Scene, Adoration of the Magi, Church of the Birth of the Virgin Mary, Montenegro
Why Is Christmas in December?
The Jeff Koons tulips sculputure outside the Guggenheim Museums in Bilbao, Spain, Basque Country.
What’s the Difference Between Modern and Contemporary Art?
King Cobra snake in Malaysia. (reptile)
9 of the World’s Deadliest Snakes
Four year old boy with grandfather and father lighting Hanukkah menorah. Photo taken on: December 21st, 2009
Which Is Correct: Hanukkah or Chanukah?
Fish. Lionfish. Lion-fish. Turkey fish. Fire-fish. Red lionfish. Pterois volitans. Venomous fin spines. Coral reefs. Underwater. Ocean. Red lionfish swims by seaweed.
10 of the World’s Most Dangerous Fish
Hemp (Cannabis sativa).
9 Mind-Altering Plants
Watergate scandal. Richard M. Nixon. President Nixon gives a press conference and talks to the press, March 12, 1971.
9 American Political Scandals

E. Allen Emerson

American computer scientist
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://mainten.top/biography/E-Allen-Emerson
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites
Also known as: Ernest Allen Emerson II
Written by
William L. Hosch
William L. Hosch was an editor at Encyclopædia Britannica.
William L. Hosch
Fact-checked by
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
The Editors of Encyclopaedia Britannica
Article History
Quick Facts
In full:
Ernest Allen Emerson II
Born:
June 2, 1954, Dallas, Texas, U.S.
Awards And Honors:
Turing Award (2007)
Subjects Of Study:
model checking software
See all related content

E. Allen Emerson (born June 2, 1954, Dallas, Texas, U.S.) is an American computer scientist who was cowinner of the 2007 A.M. Turing Award, the highest honor in computer science, for “his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.”

Emerson earned a bachelor’s degree (1976) in mathematics from the University of Texas and a doctorate (1981) in mathematics from Harvard University. Emerson later held an endowed chair in computer science at the University of Texas at Austin.

Emerson and his former Harvard graduate adviser Edmund M. Clarke—and independently Joseph Sifakis of France—were cited in the Turing Award for their work in 1981 on model-checking software, which is used to automate the detection of logic errors in sequential circuit designs and in software.

computer chip. computer. Hand holding computer chip. Central processing unit (CPU). history and society, science and technology, microchip, microprocessor motherboard computer Circuit Board
Britannica Quiz
Computers and Technology Quiz

According to Emerson,

If a program can be specified in temporal logic, then it can be realized as a finite state program—a program with just a finite number of different configurations. This suggested the idea of model checking—to check whether a finite state graph is a model of a temporal logic specifications.

William L. Hosch