DK
Dexter Kozen
(1951)
Computer Scientist
United States
1 quotes in 9 categories
Dexter Kozen is a computer scientist from the United States, best known for Dynamic Logic (Foundations of Computing).
Quick Facts About Dexter Kozen
- Born
- December 20, 1951
- Nationality
- United States
- Profession
- Computer Scientist
- Notable works
- Dynamic Logic (Foundations of Computing)
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.
Biography source: Wikipedia
Awards & Honors
EATCS award
Guggenheim Fellowship
W. Wallace McDowell Award
Fellow of the American Association for the Advancement of Science
ACM Fellow
Alonzo Church Award
Quotes by Dexter Kozen
View
