Edmund M. Clarke
American computer scientist (1945–2020)
Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic. He created model checking. He was the FORE Systems Professor of Computer Science Emeritus at Carnegie Mellon University. He won the Turing Award in 2007. Clarke was born in Newport News, Virginia.
In 2005, he became a member of the National Academy of Engineering. In 2011, Clarke became a member of the American Academy of Arts and Sciences.
Clarke died of COVID-19 on December 22, 2020 in Pittsburgh, Pennsylvania at the age of 75.[1][2]
References
change- ↑ James S. Clarke [@Jim_in_Oregon] (22 December 2020). "My father, Edmund M Clarke, passed away from Covid today. [...]" (Tweet) – via Twitter.
- ↑ "Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science". Cs.cmu.edu. Retrieved 24 December 2020.
This short article about a person from the United States can be made longer. You can help Wikipedia by adding to it.