Dexter Kozen
Dexter Kozen | |
|---|---|
| Born | December 20, 1951 |
| Education | 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 |
| Workplaces | Cornell University (1985–), Radboud University Nijmegen (2014) |
| Thesis | Complexity of Finitely Presented Algebras (1977) |
| 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.