Dexter Kozen won the IEEE's 2016 W. Wallace McDowell award; the citation reads, "for groundbreaking contributions to topics ranging from computational complexity, to the analysis of algebraic computations, to logics of programs and verification".  The award is given to individuals for " outstanding recent theoretical, design, educational, practical, or other innovative contributions in the field of computing", and former awardees include John Backus, Seymour Cray, Gordon Moore, Don Knuth, and Tim Berners-Lee.

The IEEE created a glam video celebrating Kozen's achievements --- see a few of his key papers ascend into the heavens! --- and showing his touching acceptance speech:

IEEE announcement: