Dexter Kozen

Dexter Kozen is the Joseph Newton Pew, Jr. Professor of Engineering Emeritus in the Department of Computer Science. His research interests span topics on the boundary of computer science and mathematics: design and analysis of algorithms, computational complexity theory, complexity of decision problems in logic and algebra, and logics and semantics of programming languages. He is the author of more than 200 research articles and four books. Kozen is a former Guggenheim fellow and a fellow of the Association of Computing Machinery, the American Association for the Advancement of Science, and the European Association of Theoretical Computer Science. He is a recipient of the John G. Kemeny Prize in Computing, an IBM Outstanding Innovation Award, the EATCS Award, the IEEE W. Wallace McDowell Award, and the ACM Alonzo Church Award.