Dexter Campbell Kozen is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his B.A. from Dartmouth College in 1974 and his PhD in computer science from Cornell University in 1977, where he was advised by Juris Hartmanis.He is a Fellow of the Association for Computing Machinery, a Guggenheim Fellow, and has received aOutstanding Innovation Award from IBM Corporation.