Edmund M. Clarke, Turing Award winner, has diedpost-gazette.com3 points·acjohnson55··0 commentsOpen articleSaveView on HN