Dexter Kozen
Joseph Newton Pew, Jr. Professor of Engineering
kozen@cs.cornell.edu
http://www.cs.cornell.edu/kozen/
PhD Cornell, 1977
My research interests include the theory of
computational complexity, especially complexity of
decision problems in logic and algebra, program logic
and semantics, and computational algebra. Recent
work includes: new polynomialtime algorithms for
type inference in type systems with subtypes and
recursive types; algorithms solving systems of set
constraints as used in program analysis; a unification
algorithm for set constraints and a new constraint 
