Dr
Edmund
Melson
Clarke
Jr
Born in Newport News, Virginia, United States
Ancestors 
Son of Edmund Melson Clarke Sr
and [mother unknown]
[sibling(s) unknown]
[spouse(s) unknown]
[children unknown]
Died
at age 75
in Asbury Heights, Allegheny, Pennsylvania, United States
Profile last modified
| Created 19 May 2023
This page has been accessed 46 times.
Biography
Edmund Clarke Jr was born in Virginia
Edmund Clarke Jr was a Pennsylvanian.
Edmund Clarke Jr is Notable.
Edmund Melson Clarke, Jr. was an American computer scientist and academic. He is recognized for developing model checking.
His obituary was published by Carnegie Mellon University.
Awards and Honors
- 1995 - Endowed FORE Systems Professorship
- 1998 - ACM Kanellakis Award co-reciepant
- 1999 - Allen Newell Award for Excellence in Research
- 2004 - IEEE Harry H. Goode Memorial Award
- 2007 - Turing Award in conjunction with E. Allen Emerson and Joseph Sifakis.
- 2008 - Herbrand Award for Distinguished Contributions to Automated Reasoning
- 2014 - Bower Award and Prize for Achievement in Science
Sources
Is Edmund your relative? Please don't go away!
Login to collaborate or comment, or
ask our community of genealogists a question.
Login to collaborate or comment, or ask our community of genealogists a question.
Sponsored Search by Ancestry.com
DNA
No known carriers of Edmund's ancestors' DNA have taken a DNA test. Have you taken a test? If so, login to add it. If not, see our friends at Ancestry DNA.
No known carriers of Edmund's ancestors' DNA have taken a DNA test. Have you taken a test? If so, login to add it. If not, see our friends at Ancestry DNA.
Comments
Leave a message for others who see this profile.
There are no comments yet.
Login to post a comment.
C > Clarke > Edmund Melson Clarke Jr
Categories: Turing Award for Computer Science | Computer Scientists | Notables