Dexter Kozen
From Wikipedia, the free encyclopedia
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.[1]
Kozen received his BA in mathematics from Dartmouth College in 1974 and his PhD in computer science in 1977 from Cornell University, where he was advised by Juris Hartmanis on the thesis, Complexity of Finitely Presented Algebras.[2][3]
He is known for his work at the intersection of logic and complexity. He is one of the fathers of dynamic logic[4] and developed the version of the modal μ-calculus most used today.[5] His work on Kleene algebra with tests[6] was recognized with an Alonzo Church Award in 2022.[7] Moreover, he has written several textbooks on the theory of computation,[8] automata theory,[9] dynamic logic,[4] and algorithms.[10]
Kozen was a guitarist, singer, and songwriter in the band "Harmful if Swallowed".[11] He also holds the position of faculty advisor for Cornell's rugby football club.[12]
