eCommons

 

A Conversation with Dexter Kozen

Other Titles

Abstract

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

Journal / Series

Volume & Issue

Description

Sponsorship

Date Issued

2015-09-09

Publisher

Internet-First University Press

Keywords

Location

Effective Date

Expiration Date

Sector

Employer

Union

Union Local

NAICS

Number of Workers

Committee Chair

Committee Co-Chair

Committee Member

Degree Discipline

Degree Name

Degree Level

Related Version

Related DOI

Related To

Related Part

Based on Related Item

Has Other Format(s)

Part of Related Item

Related To

Related Publication(s)

Link(s) to Related Publication(s)

References

Link(s) to Reference(s)

Previously Published As

Government Document

ISBN

ISMN

ISSN

Other Identifiers

Rights

Rights URI

Types

video/moving image

Accessibility Feature

Accessibility Hazard

Accessibility Summary

Link(s) to Catalog Record