Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos

Edmund M. Clarke: Quick Facts

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
default image
Robert Kahn
American computer scientist
default image
Allen Newell
American computer scientist
Edward Feigenbaum
Edward Albert Feigenbaum
American systems analyst
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
default image
Alan Jay Perlis
American mathematician and computer scientist
default image
Fernando Corbató
American physicist and computer scientist
default image
E. Allen Emerson
American computer scientist
default image
Amir Pnueli
Israeli computer scientist
Bill Gates smiling and wearing glasses, a dark suit, a pale shirt, and a patterned tie.
Bill Gates
American computer programmer and entrepreneur
default image
Bill Joy
American software developer and entrepreneur
default image
Ray Kurzweil
American computer scientist and futurist
Jack Dorsey
Jack Dorsey
American Web developer and entrepreneur
default image
Pattie Maes
Belgian-born software engineer and entrepreneur
Vinton Gray Cerf
Vinton Cerf
American computer scientist
Minsky, Marvin
Marvin Minsky
American mathematician and computer scientist
default image
Leslie Valiant
American computer scientist
default image
Fred Brooks
American computer scientist
Lamport, Leslie
Leslie Lamport
American computer scientist
default image
Ken Thompson
American computer scientist

Related 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