Edmund M. Clarke
(1945-2020)
American computer scientist
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
Romantic interests
Friends & associates
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
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
