Faculty Research Interests: Dexter Kozen
Dexter Kozen
Joseph Newton Pew, Jr. Professor in Engineering
PhD, Cornell University, 1977
Research Interests
My research interests include algorithms and complexity, especially
complexity of decision problems in logic and algebra, and logics and
semantics of programming languages.
Papers Available Online
Kleene algebra |
set constraints |
type inference |
computational algebra
automata theory |
algorithms and complexity |
logic
Bibliography
list of all publications
|
Cornell technical reports
Course Notes
CS212, Structure and Interpretation of Computer Programs
CS481, Automata and Computability Theory
Fun Stuff
Family pictures |
Rugby |
The Effect
Computer Science Department
Upson Hall
Cornell University
Ithaca, New York 14853-7501, USA
kozen@cs.cornell.edu
(607) 255-9209 work, (607) 257-4579 home, (607) 255-4428 fax