Kozen discusses his experiences at Cornell – his research and teaching experience, textbooks, participation in sports & music, etc.

Dexter Kozen got his PhD from CS at Cornell in 1977. After he spent time doing research at IBM, we drew him back to the faculty in 1985.

Dexter has made lasting, fundamental contributions to diverse areas such as algorithms, complexity, logics, semantics of programming languages, and computer security. The CS Department’s environment, which encourages collaboration of people in different areas, both experimental and theoretical, has had a synergistic effect on both his and others’ research.

One computer scientist said that: a winning combination of brilliance, depth, and elegance captures the essence of Kozen’s work over the years. And it shows in the influence Dexter has had. He received the LICS Test-of-Time Award for one of his papers, the EATCS Award from the European Association for Theoretical Computer Science, the W. Wallace McDowell Award from the IEEE Computer Society, and two prizes from the Polish Ministry of Education. He also has several teaching awards from Cornell. Further, he has written textbooks on the theory of computation, automata theory, dynamic logic, and algorithms.

With interviewer Bob Constable, Dexter discusses his research and teaching experience, textbooks, participation in sports and music, and more.

Running Time: 45 min. http://hdl.handle.net/1813/41206