Biography
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 at Carnegie Mellon University . Clarke, along with E. Allen Emerson and Joseph Sifakis , received the 2007 ACM Turing Award . Born in Newport News, Virginia , Clarke received a B.A. degree in mathematics from the University of Virginia , Charlottesville , in 1967, an M.A. degree in mathematics from Duke University , Durham NC , in 1968, and a Ph.D. degree in computer science from Cornell University , Ithaca, New York , in 1976. After receiving his Ph.D., he taught in the Department of Computer Science at Duke University , for two years. In 1978, he moved to Harvard University , Cambridge, Massachusetts , where he was an assistant professor of computer science in the Division of Applied Sciences . He left Harvard in 1982 to join the faculty in the Computer Science Department at Carnegie Mellon University , Pittsburgh, Pennsylvania . He was appointed full professor in 1989. In 1995, he became the first recipient of the FORE Systems Professorship, an endowed chair in the Carnegie Mellon School of Computer Science . He became a university professor in 2008 and became an emeritus professor in 2015. [ 2 ] He died from COVID-19 in December 2020, at age 75, during the COVID-19 pandemic in Pennsylvania . [ 3 ] [ 4 ] Fields: Computer science Education: University of Virginia BA Duke University MA Cornell University PhD Award Citation: A.M. Turing Award
About the Turing Award
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in computer science and is colloquially known as the "Nobel Prize of Computing."
Quick Facts
- Award: ACM A.M. Turing Award
- Added: 2026-02-07
- Source: Wikipedia
- Prize: $1,000,000 (USD)
- Presented by: ACM
Browse More
Notable Winners
- Donald Knuth (1974)
- Tim Berners-Lee (2016)
- Geoffrey Hinton (2018)
- Yoshua Bengio (2018)
- Yann LeCun (2018)