Edmund M. Clarke
(1945-2020)
American computer scientist
menu
Add to my lists
About
Jump to
Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science Emeritus at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, was a recipient of the 2007 Association for Computing Machinery A.M. Turing Award.
Key details
edit section
| Born |
27 July 1945 Newport News, Virginia
|
| Died |
22 December 2020 (aged 75)
|
| Zodiac | Leo |
| Tags | Add tag |
Family members
Parents
0
Add parent
Siblings
0
Add sibling
Other family members
0
Add family member
Connections
Friends & associates
Add friend/associate
Edmund M. Clarke dating history
0Children
0No records found.
Family
Parents
0
Add parent
Siblings
0
Add sibling
Children
0
Add child
Other family members
0
Add family member
Friends & associates
Add friend/associate
Missing information for Edmund M. Clarke
- missing gender
- missing height
- missing hair color
- missing eye color
- missing ethnicity
- add banner photo
- add photos to gallery
Lists
34
Facts and figures
6
Similar profiles
10
Activity
Top contributors today
Be the first to contribute today
Tags
Featured contributors
Couples by country
USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · MexicoCouples by decade
1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020sADVERTISEMENT
ADVERTISEMENT
