The Turing Award is pretty much the highest honor bestowed in computing, the field’s equivalent of a Nobel or Pulitzer of Fields Medal in other fields. This year’s award goes to Edmund M. Clarke for his contributions to the concept of “model checking” (more about that at the link). As an owner of his Model Checking (with Grumberg and Peled), user of both SPIN and Murφ, and occasional dabbler in the field myself, this makes me happy. It’s a well deserved honor.