Edmund Melson Clarke, Jr.
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.
This article uses material from the Wikipedia Simple English article Edmund M. Clarke, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Content is available under CC BY-SA 4.0 unless otherwise noted. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Simple English (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.