Dexter Kozen
Use attributes for filter ! | |
Gender | Male |
---|---|
Age | 72 |
Date of birth | December 20,1951 |
Zodiac sign | Sagittarius |
Academic advisor | Juris Hartmanis |
H index | 57 |
Affiliations | Cornell University |
Interests | Program Logic And Semantics |
Algorithm Design And Analysis | |
Complexity Theory | |
Automata Theory | |
Books | Automata and Computability |
Dynamic Logic | |
Theory of Computation | |
Date of Reg. | |
Date of Upd. | |
ID | 698570 |
Dexter Kozen Life story
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 in 1977 from Cornell University, where he was advised by Juris Hartmanis.