What is Edmund M. Clarke?
[[File:Edmund Clarke FLoC 2006.jpg|right|200px]] '''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.<ref>{{Cite tweet |author=James S. Clarke |user=Jim_in_Oregon |number=1341546882321944576 |date=22 December 2020 |title=My father, Edmund M Clarke, passed away from Covid today. [...]}}</ref><ref>{{Cite web|url=https://www.cs.cmu.edu/news/edmund-clarke-pioneered-methods-detecting-software-hardware-errors|title=Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors &#124; Carnegie Mellon School of Computer Science|website=Cs.cmu.edu|access-date=24 December 2020}}</ref> ==References== {{reflist}} {{DEFAULTSORT:Clarke, Edmund M.}} [[Category:1945 births]] [[Category:2020 deaths]] [[Category:Deaths from the COVID-19 pandemic in Pennsylvania]] [[Category:American computer scientists]] [[Category:Academics from Pennsylvania]] [[Category:Scientists from Virginia]] [[Category:People from Newport News, Virginia]] [[Category:Turing Award winners]] {{US-bio-stub}}