Edmund Clarke, 2007 Winner of the Turing Award, Dies of Covid-19https://hardware.slashdot.org/story/20/12/27/2057202/edmund-clarke-2007-winner-of-the-turing-award-dies-of-covid-19 by ableal • 6 years ago 4 0 6 years agoHAhardware.slashdot.org