Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist and Professor Emeritus at Cornell University, where he has taught since 1985. Known as one of the developers of dynamic logic, his research spans automata theory, computational complexity and modal mu-calculus, and he created Kleene algebra with tests, an equational system for reasoning about iterative programs. He earned a bachelor's degree in mathematics from Dartmouth College in 1974 and a PhD in computer science from Cornell in 1977 under Juris Hartmanis. He received the IEEE W. Wallace McDowell Award in 2016 and the Alonzo Church Award in 2022, and is a fellow of the ACM and the AAAS.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.