Dexter Kozen
Joseph Newton Pew Jr. Prof. of Engineering
PhD Cornell University, 1977


My research interests include the theory of computational complexity, especially complexity of decision problems in logic and algebra, and logics and semantics of programming languages. Recent work includes new polynomial-time algorithms and deductive systems for type inference and solutions of set constraints; a new algorithm for decomposition of algebraic functions; a new polynomial-time algorithm for resolution of singularities of plane curves; and new polynomial-time algorithms for optimal transmission of encoded video data.


University Activities

Professional Activities

Invited Lectures

Publications


Return to:
1994-1995 Annual Report Home Page
Departmental Home Page

If you have questions or comments please contact: www@cs.cornell.edu.


Last modified: 24 November 1995 by Denise Moore (denise@cs.cornell.edu).