Edmund M. Clarke, recipient of 2007 Turing Award, passes away from Covid-19linkedin.com19 pointsahelwer6 years ago