MIME-Version: 1.0 Server: CERN/3.0 Date: Wednesday, 20-Nov-96 18:57:50 GMT Content-Type: text/html Content-Length: 2140 Last-Modified: Thursday, 14-Nov-96 19:02:07 GMT 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