Edmund Clarke, 2007 Winner of the Turing Award, Dies of Covid-19hardware.slashdot.org4 points·ableal··0 commentsOpen articleSaveView on HN