Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon 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
Saint Lucia Day. Young girl wears Lucia crown (tinsel halo) with candles. Holds Saint Lucia Day currant laced saffron buns (lussekatter or Lucia's cats). Observed December 13 honor virgin martyr Santa Lucia (St. Lucy). Luciadagen, Christmas, Sweden
7 Winter Solstice Celebrations From Around the World
Scottish fold cat. A genetic mutation caused (in the original cat-1961) the ears to bend forward and down.
Shorthair Cat Breeds
Srinivasa Ramanujan, Indian mathematician and autodidact.
6 Interesting Facts about Srinivasa Ramanujan
Nativity Scene, Adoration of the Magi, Church of the Birth of the Virgin Mary, Montenegro
Why Is Christmas in December?
Facsimile of one of William Henry Ireland's forgeries, a primitive self-portrait of William Shakespeare(tinted engraving). Published for Samuel Ireland, Norfolk Street, Strand, December 1, 1795. (W.H. Ireland, forgery)
The Time a Law Clerk Successfully Forged a New Shakespeare Play to Impress His Dad
King Cobra snake in Malaysia. (reptile)
9 of the World’s Deadliest Snakes
Stylish light blue jeans on wooden background, closeup of inset pocket
Why Do Jeans Have That Tiny Pocket?

Edmund M. Clarke

American computer scientist
Share
Share to social media
URL
https://mainten.top/biography/Edmund-Melson-Clarke-Jr
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: Edmund Melson Clarke, Jr.
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
Last Updated: • Article History
Quick Facts
In full:
Edmund Melson Clarke, Jr.
Born:
July 27, 1945, Newport News, Virginia, U.S.
Died:
December 22, 2020, Pittsburgh, Pennsylvania (aged 75)
Awards And Honors:
Turing Award (2007)

Edmund M. Clarke (born July 27, 1945, Newport News, Virginia, U.S.—died December 22, 2020, Pittsburgh, Pennsylvania) was an American computer scientist and co-winner of the 2007 A.M. Turing Award, the highest honour in computer science. Clarke earned a bachelor’s degree in mathematics in 1967 from the University of Virginia, a master’s degree in mathematics in 1968 from Duke University, and a doctorate in computer science in 1976 from Cornell University. Clarke then taught at Duke before moving in 1978 to Harvard University. In 1982 he joined the faculty at Carnegie Mellon University, where in 1995 he became the first recipient ...(100 of 179 words)

Access the full article
Help support true facts by becoming a member.