Dexter Kozen is a renowned computer scientist, born on December 20, 1951. He has made significant contributions to theoretical computer science, particularly in the fields of algorithms, computational complexity, program correctness, and formal methods.