Ask the Chatbot Games & Quizzes ProCon History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture 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
Iraqi Army Soldiers from the 9th Mechanized Division learning to operate and maintain M1A1 Abrams Main Battle Tanks at Besmaya Combat Training Center, Baghdad, Iraq, 2011. Military training. Iraq war. U.S. Army
8 Deadliest Wars of the 21st Century
Baseball laying in the grass. Homepage blog 2010, arts and entertainment, history and society, sports and games athletics
10 Greatest Baseball Players of All Time
Leonardo da Vinci (1452-1519), Italian Renaissance painter from Florence. Engraving by Cosomo Colombini (d. 1812) after a Leonardo self portrait. Ca. 1500.
10 Famous Artworks by Leonardo da Vinci
Woman tied to a ducking stool, a method of punishment by means of humiliation, beating, or death. (cucking stool)
8 Unusual Punishments Inflicted on Women Throughout History
Thanksgiving Turkey with all the sides
Why Do We Eat Turkey on Thanksgiving?
Thanksgiving Celebration Traditional Dinner Setting Food Concept
Why Is Thanksgiving in the U.S. Celebrated on a Thursday?
Title: Senate Square, St. Petersburg, December 14, 1825: repression of the troop mutiny - watercolor by Carl Ivanovitch Kollman, 1825 depicts Decembrist uprising clashing with cavalry, with spectators watching. (new style December 26, 1825) Europe. Saint
8 of the Largest Empires in History

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://www.britannica.com/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.
Also Known As:
Ernest Allen Emerson II
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