Kozen

Dexter Kozen, Ph.D. ’77, the Joseph Newton Pew Jr. Professor in Engineering, has been named a fellow of the European Association for Theoretical Computer Science (EATCS).

The association has recognized five of its members for their outstanding contributions to theoretical computer science through "pioneering and seminal work.”

Fellows are nominated by four or more members of the association and chosen by an elite selection committee. In particular, fellows are expected to contribute to one of the association’s primary goals – to stimulate cooperation between the theoretical and the practical community in computer science.

Kozen’s research focuses on design and analysis of algorithms, computational complexity theory, complexity of decision problems in logic and algebra, and logics and semantics of programming languages. He has developed algorithms to improve the transmission of video over narrow channels and, most recently, to verify the safety of computer code downloaded from an untrusted source.

Kozen joined the Cornell faculty in 1985. He is a recipient of the John G. Kemeny Prize in Computing and an IBM Outstanding Innovation Award, and is a former Guggenheim fellow and a fellow of the Association of Computing Machinery and the American Association for the Advancement of Science. He is on sabbatical at the University of Copenhagen this semester.