Ask the Chatbot Games & Quizzes ProCon History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture Money Videos
Edmund M. Clarke
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
Technical insides of a desktop computer
5 Components of Information Systems
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?
NBA Lakers Celtics Finals Kevin Garnett shooting.
10 Great Sports Rivalries
Discover
Diverse elementary school children wearing school uniforms running outside of school. Boys girls
Pro and Con: School Uniforms
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
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
Santa Claus flying in his sleigh, christmas, reindeer
Was Santa Claus a Real Person?
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
An ancient egyptian hieroglyphic painted carving showing the falcon headed god Horus seated on a throne and holding a golden fly whisk. Before him are the Pharoah Seti and the goddess Isis. Interior wall of the temple to Osiris at Abydos, Egypt.
11 Egyptian Gods and Goddesses
The Cheshire Cat is a fictional cat from Lewis Carroll's Alice's Adventures in Wonderland. (Alice in Wonderland)
11 Banned Books Through Time

Edmund M. Clarke: Facts & Related Content

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/facts/Edmund-Melson-Clarke-Jr
Written and fact-checked by
The Information Architects of Encyclopaedia Britannica

The Information Architects maintain a master list of the topics included in the corpus of  Encyclopædia Britannica, and create and manage the relationships between them.
The Information Architects of Encyclopaedia Britannica

Facts

Also Known As Edmund Melson Clarke, Jr.
Born July 27, 1945 • Newport News • Virginia
Died December 22, 2020 (aged 75) • Pittsburgh • Pennsylvania
Awards And Honors Turing Award (2007)
Subjects Of Study model checking software • software
Joseph Sifakis, winner of the 2007 A.M. Turing Award in computer science.
Joseph Sifakis
French computer scientist
Computer interface pioneer Douglas EngelbartEngelbart holding a video conference on the right side of the computer screen while working on a document with a remote collaborator during a 1968 computer conference in San Francisco, California.
Douglas Engelbart
American inventor
Fred Brooks
American computer scientist
Alan Jay Perlis
American mathematician and computer scientist
Fernando Corbató
American physicist and computer scientist
E. Allen Emerson
American computer scientist
Amir Pnueli
Israeli computer scientist
Bill Gates
Bill Gates
American computer programmer, businessman, and philanthropist
Bill Joy
American software developer and entrepreneur
Ellison, Larry
Larry Ellison
American business executive
Ray Kurzweil
American computer scientist and futurist
Marissa Mayer
Marissa Mayer
American software engineer and businesswoman
Margaret Hamilton
Margaret Hamilton
American computer scientist
Pattie Maes
Belgian-born software engineer and entrepreneur
Vinton Gray Cerf
Vinton Cerf
American computer scientist
Minsky, Marvin
Marvin Minsky
American scientist
Robert Kahn
American computer scientist
Allen Newell
American computer scientist
Leslie Valiant
American computer scientist
Lamport, Leslie
Leslie Lamport
American computer scientist

Related Quizzes and Features

Quiz
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