b. 1951
Dexter Kozen is an American computer scientist and logician, Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He is known for foundational contributions to the theory of computation, modal and dynamic logics, and the development of Kleene algebra with tests (KAT) as a framework for reasoning about program equivalence and verification.
Developed Kleene Algebra with Tests (KAT) for program verification
Authored influential textbooks on the theory of computation and automata
Made foundational contributions to propositional dynamic logic and the modal mu-calculus
Advanced the complexity analysis of decision procedures for logical theories
Elected Fellow of the ACM for contributions to logic in computer science