Skip to main content



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

Research interests: Algorithms and complexity, especially complexity of decision problems in logic and algebra, logics and semantics of programming languages, computer security.

Contact

Email

Turn on JavaScript to view email address

Surface Mail

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

Phone

(607) 255-9209 work
(607) 257-4579 home
(607) 592-2437 cell
(607) 255-9375 fax

Office Hours Fall 2014

I will be on sabbatic this academic year and unavailable for office hours. I will be at Radboud University, Nijmegen, The Netherlands from September 1, 2014 to December 31, 2014 and the University of Copenhagen from January 1, 2015 to June 30, 2015.

Publications

Software

Other

Recent Courses

Rhodes Hall

Rhodes Hall

Recent PhD Students

Family & Fun

Arts Quad

Arts Quad