Dexter Kozen
Dexter Kozen | |
|---|---|
| Born | December 20, 1951 |
| Alma mater | Dartmouth College (BA, 1974), Cornell University (PhD, 1977) |
| Known for | Dynamic logic (modal logic), Automata theory, Kleene algebra with tests |
| Spouse | Frances Kozen |
| Scientific career | |
| Fields | Theoretical computer science |
| Institutions | Cornell University (1985–), Radboud University Nijmegen (2014) |
| Thesis | Complexity of Finitely Presented Algebras (1977) |
| Doctoral advisor | Juris Hartmanis |
| Website | https://www.cs.cornell.edu/~kozen/ |
Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.