Edmund M. Clarke, co-recipient of the 2007 Turing Award died Dec. 22 of Covid-19cmu.edu16 pointsgeuis5 years ago