Edmund Clarke, 2007 Winner of the Turing Award, Dies of Covid-19