Biography of Edmund M. Clarke

Edmund M. Clarke (* 27. July 1945 in Newport News; † 22. December 2020 in Pittsburgh) was an american computer scientist. He was 75 years old. His education included University of Virginia, Duke University and Cornell University. He received 10 awards, including Turing Award, Paris Kanellakis Award. His cause of death was COVID-19.