Skip to main content



Dexter Kozen
Joseph Newton Pew, Jr. Professor in Engineering
PhD, Cornell University, 1977

Research interests: Logics and semantics of programming languages, algorithms and complexity, especially complexity of decision problems in logic and algebra, probabilistic computation.

Contact

Email

Surface Mail

Computer Science Department
436 Gates Hall
Cornell University
Ithaca, New York 14853-7501, USA

Phone

(607) 255-9209 work
(607) 592-2437 cell
(607) 255-9143 fax (is this even still a thing?)

Office Hours Spring 2024

TR 1–2pm or by appointment. For appointments, please contact Corey Torres, 401 Gates, (607) 255-9197,

Publications

Software

Other

Recent Courses

Rhodes Hall

Rhodes Hall

Recent PhD Students

Family & Fun

Arts Quad

Arts Quad