Dexter Kozen

Joseph Newton Pew, Jr., Professor in Engineering (Computer Science) and Member of the Field of Mathematics
5143 Upson Hall
(607) 255-9209
kozen@cs.cornell.edu

Ph.D. (1977) Cornell University

Research Area

Computational theory, computational algebra and logic, logics and semantics of programming languages

My research interests include the theory of computational complexity, especially complexity of decision problems in logic and algebra, and program logic and semantics. In the past I have worked on algorithms for type inference in programming languages; static analysis of programs; functional decomposition of polynomials and rational and algebraic functions; and algorithms for resolution of singularities. My most recent interests include the theory and applications of Kleene algebra and Kleene algebra with tests (Kleene/Boolean algebra) in programming language semantics and verification.

Selected Publications

Left-handed completeness (with Alexandra Silva), Technical Report http://hdl.handle.net/1813/23556, Computing and Information Science, Cornell University, August 2011; 13th Int. Conf. Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge, UK, September 2012 (to appear).

Language constructs for non-well-founded computation (with Jean-Baptiste Jeannin and Alexandra Silva), Technical Report SEN-1202, CWI Amsterdam, July 2012 (submitted).

New; in Proc. 28th Conf. Math. Found. Programming Semantics (MFPS XXVIII), Bath, England, June 2012, Elsevier Electronic Notes in Theoretical Computer Science (Ulrich Berger and Michael Mislove, eds.), 13–38.

On Moessner’s theorem (with Alexandra Silva), Technical Report http://hdl.handle.net/1813/22959, Computing and Information Science, Cornell University, June 2011; American Mathematical Monthly (to appear).

Realization of coinductive types; in Proc. 27th Conf. Math. Found. Programming Semantics (MFPS XXVII), Pittsburgh, PA, May 2011, Elsevier Electronic Notes in Theoretical Computer Science (Michael Mislove and Joel Ouaknine, eds.), 148–155.