Dexter Kozen
Encyclopedia
Dexter Campbell Kozen is an American theoretical computer scientist
. He is currently Joseph Newton Pew, Jr. Professor in Engineering at Cornell University
. He received his B.A. from Dartmouth College
in 1974 and his PhD in computer science from Cornell University in 1976, where he was advised by Juris Hartmanis
.
He is a Fellow of the Association of Computing Machinery, a Guggenheim Fellow
, and has received a
Outstanding Innovation Award from IBM Corporation. He has also been named Faculty of the Year by the Association of Computer Science Undergraduates at Cornell.
He is known for his seminal work at the intersection of logic and complexity. He is one of the fathers of dynamic logic
and developed the version of the mu calculus most used today. Moreover, he has written several textbooks on the theory of computation
, automata theory, dynamic logic
, and algorithm
s.
Kozen was also the guitarist, singer, and songwriter of the band "Harmful if Swallowed." He also holds the position of faculty advisor for Cornell's Rugby Football club and plays for the Cortland Homer Thundering Herd rugby team.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
. He is currently Joseph Newton Pew, Jr. Professor in Engineering at Cornell University
Cornell University
Cornell University is an Ivy League university located in Ithaca, New York, United States. It is a private land-grant university, receiving annual funding from the State of New York for certain educational missions...
. He received his B.A. from Dartmouth College
Dartmouth College
Dartmouth College is a private, Ivy League university in Hanover, New Hampshire, United States. The institution comprises a liberal arts college, Dartmouth Medical School, Thayer School of Engineering, and the Tuck School of Business, as well as 19 graduate programs in the arts and sciences...
in 1974 and his PhD in computer science from Cornell University in 1976, where he was advised by Juris Hartmanis
Juris Hartmanis
Juris Hartmanis is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory".Hartmanis was born in Latvia...
.
He is a Fellow of the Association of Computing Machinery, a Guggenheim Fellow
Guggenheim Fellowship
Guggenheim Fellowships are American grants that have been awarded annually since 1925 by the John Simon Guggenheim Memorial Foundation to those "who have demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the arts." Each year, the foundation makes...
, and has received a
Outstanding Innovation Award from IBM Corporation. He has also been named Faculty of the Year by the Association of Computer Science Undergraduates at Cornell.
He is known for his seminal work at the intersection of logic and complexity. He is one of the fathers of dynamic logic
Dynamic logic (modal logic)
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics, philosophy, AI, and other fields.-Language:...
and developed the version of the mu calculus most used today. Moreover, he has written several textbooks on the theory of computation
Theory of computation
In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm...
, automata theory, dynamic logic
Dynamic logic (modal logic)
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics, philosophy, AI, and other fields.-Language:...
, and algorithm
Algorithm
In mathematics and computer science, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...
s.
Kozen was also the guitarist, singer, and songwriter of the band "Harmful if Swallowed." He also holds the position of faculty advisor for Cornell's Rugby Football club and plays for the Cortland Homer Thundering Herd rugby team.