Edmund M. Clarke

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.

References

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