Dexter Kozen ✓
(1951)
computer scientist
United States
1 quotes
Dexter Kozen (born 1951) was a United States computer scientist.
About Dexter Kozen
Dexter Campbell Kozen is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.
Notable works:
Dynamic Logic (Foundations of Computing)
Awards:
EATCS award|Guggenheim Fellowship|W. Wallace McDowell Award|Fellow of the American Association for the Advancement of Science|ACM Fellow|Alonzo Church Award
All Dexter Kozen Quotes
No quotes found for this author.