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 Summer 2014

By appointment. Please contact Molly Trufant (Turn on JavaScript to view email address).

Publications

Software

Other

Recent Courses

Rhodes Hall

Rhodes Hall

Recent PhD Students

Family & Fun

Arts Quad

Arts Quad