Edmund Clarke,2007年图灵奖获得者,Covid-19的死亡