Guggenheim Fellowship
Dexter Kozen
John Simon Guggenheim Memorial Foundation
Prominent 1991
Alonzo Church Award for Outstanding Contributions to Logic and Computation
Dexter Kozen
European Association for Computer Science Logic
Research 2022
ACM Fellow
Dexter Kozen
Association for Computing Machinery
Research 2003
About This Award
An ACM Fellow is a member of the Association for Computing Machinery (ACM) who has achieved outstanding accomplishments in the fields of computing and information technology or made exceptional contributions to the larger computing community.
AAAS Fellow
Dexter Kozen
American Association for the Advancement of Science
Research 2008