Dexter Kozen has been named one of the five 2015 Fellows of the European Association for Theoretical Computer Science (EATCS) for his scientific achievements in the field of Theoretical Computer Science. Kozen's citation is for "pioneering and seminal work in fields as diverse as complexity theory, logics of programs, algebra, computer algebra and probabilistic semantics".
Cornell Chronicle highlights Kozen's acheivements here. An Interview by the University of Copenhagen is here. Kozen, in response to the reward, stated, "It's nice to know that there are some fans of my work, and that I have accomplished something that is an inspiration to others." You're an inspiration to all of us, Professor Kozen!