Edmund Clarke, 2007 Winner of the Turing Award, Dies of Covid-19hardware.slashdot.org4 pointsableal5 years ago