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.